diff options
author | Tanaka Akira <akr@users.sourceforge.net> | 1999-12-09 10:48:11 +0000 |
---|---|---|
committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-12-09 10:48:11 +0000 |
commit | fee2b1ab94879db991acb8468f1c157d174e29e9 (patch) | |
tree | 555c9412c2e57b1c54cd72a013c0dbc477373aa6 /Makefile.in | |
parent | 726e1f5545e35b2cc589d1e43202ae6c04fbffca (diff) | |
download | zsh-fee2b1ab94879db991acb8468f1c157d174e29e9.tar.gz zsh-fee2b1ab94879db991acb8468f1c157d174e29e9.tar.xz zsh-fee2b1ab94879db991acb8468f1c157d174e29e9.zip |
zsh-workers/8966
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) $@ |