diff options
author | Tanaka Akira <akr@users.sourceforge.net> | 2000-01-02 20:00:50 +0000 |
---|---|---|
committer | Tanaka Akira <akr@users.sourceforge.net> | 2000-01-02 20:00:50 +0000 |
commit | fa435830e721904c4d17e0e18ede59ff59e35973 (patch) | |
tree | 7f876312095fda9a3355dfcbafe33b93609ed98a /Doc | |
parent | bcd74fc496a4af14b28a9349d511ff43450151a7 (diff) | |
download | zsh-fa435830e721904c4d17e0e18ede59ff59e35973.tar.gz zsh-fa435830e721904c4d17e0e18ede59ff59e35973.tar.xz zsh-fa435830e721904c4d17e0e18ede59ff59e35973.zip |
zsh-workers/9181
Diffstat (limited to 'Doc')
-rw-r--r-- | Doc/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index c8c07b2f4..13e34c9b6 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -37,6 +37,10 @@ INSTALL = @INSTALL@ @DEFS_MK@ +.PHONY: all everything install uninstall install.man uninstall.man \ + install.info uninstall.info install.html uninstall.html \ + clean-here distclean-here realclean-here + MAKEINFO = makeinfo TEXI2DVI = texi2dvi DVIPS = dvips -D 300 |