diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index c91ddcf56..b2be5bf44 100644 --- a/Makefile.in +++ b/Makefile.in @@ -51,6 +51,10 @@ META-FAQ: FORCE # ========== DEPENDENCIES FOR INSTALLING ========== +# install stripped +install-strip: + $(MAKE) install STRIPFLAGS="-s" + # install/uninstall everything install: install.bin install.modules install.man install.info uninstall: uninstall.bin uninstall.modules uninstall.man uninstall.info @@ -71,6 +75,10 @@ install.man uninstall.man: install.info uninstall.info: @cd Doc && $(MAKE) $(MAKEDEFS) $@ +# install/uninstall just the html pages +install.html uninstall.html: + @cd Doc && $(MAKE) $(MAKEDEFS) $@ + # ========== DEPENDENCIES FOR CLEANUP ========== @@clean.mk@@ |