diff options
-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 |