diff options
author | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-11-11 17:52:36 +0000 |
---|---|---|
committer | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-11-11 17:52:36 +0000 |
commit | 52ff3493240611e1622bbd4fde85d34fa2aebc89 (patch) | |
tree | b52184f62adc20bcf75a90488c6c1502e9ca08ad | |
parent | 90951bd9cdc4360e519255a6b914f5d38f95b547 (diff) | |
download | zsh-52ff3493240611e1622bbd4fde85d34fa2aebc89.tar.gz zsh-52ff3493240611e1622bbd4fde85d34fa2aebc89.tar.xz zsh-52ff3493240611e1622bbd4fde85d34fa2aebc89.zip |
Merge of 23060: make everything makes info.
-rw-r--r-- | Doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 336d2bd97..f1ba3666a 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -82,7 +82,7 @@ Zsh/seealso.yo Zsh/tcpsys.yo Zsh/zftpsys.yo Zsh/zle.yo all: man texi ../META-FAQ .PHONY: all -everything: all dvi html pdf +everything: all dvi html pdf info .PHONY: everything dvi: zsh.dvi |