diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index b3e281f..a086769 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -175,6 +175,9 @@ html: htmlapi: (cd $(HTMLDIR); $(MAKE) PAPER=$(PAPER) -f ../html/Makefile api) +htmldoc: + (cd $(HTMLDIR); $(MAKE) PAPER=$(PAPER) -f ../html/Makefile doc) + htmlext: (cd $(HTMLDIR); $(MAKE) PAPER=$(PAPER) -f ../html/Makefile ext) |