diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index df9b6a132..1a92015df 100644 --- a/Makefile.in +++ b/Makefile.in @@ -59,7 +59,7 @@ META-FAQ: FORCE install-strip: $(MAKE) install STRIPFLAGS="-s" -# install/uninstall everything (except info) +# install/uninstall most things install: install.bin install.modules install.man install.fns uninstall: uninstall.bin uninstall.modules uninstall.man uninstall.fns @@ -84,6 +84,10 @@ install.fns uninstall.fns: install.info uninstall.info: @cd Doc && $(MAKE) $(MAKEDEFS) $@ +# install/uninstall just the HTML manual +install.html uninstall.html: + @cd Doc && $(MAKE) $(MAKEDEFS) $@ + # install/uninstall just the html pages install.html uninstall.html @cd Doc && $(MAKE) $(MAKEDEFS) $@ |