diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 576b8f05b..8a50b3ba0 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -201,7 +201,7 @@ html/index.html: $(IMAGEFILES) echo "Generating HTML documentation..." -$(RMDIR) html -$(INSTALL_DIR) html - -$(HTMLDOC) + -$(DOXYDOC) #fltk.ps: $(HTMLFILES) $(IMAGEFILES) # echo "Generating PostScript documentation..." |