1999-09-10 20:42:23 +00:00
|
|
|
--- Doc/Makefile.in.orig Wed Jul 14 20:59:48 1999
|
|
|
|
|
+++ Doc/Makefile.in Fri Sep 10 22:27:01 1999
|
|
|
|
|
@@ -91,7 +91,8 @@
|
1997-06-16 11:49:17 +00:00
|
|
|
everything: all zsh_us.ps zsh_a4.ps zsh_toc.html
|
|
|
|
|
|
|
|
|
|
zsh.info: zsh.texi
|
|
|
|
|
- @$(MAKEINFO) -I$(srcdir) $(srcdir)/zsh.texi || { \
|
1999-09-10 20:42:23 +00:00
|
|
|
+ @rm -f zsh.info
|
1997-06-16 11:49:17 +00:00
|
|
|
+ @$(MAKEINFO) --no-split -I$(srcdir) $(srcdir)/zsh.texi || { \
|
|
|
|
|
echo Info documentation cannot be compiled without $(MAKEINFO). ; \
|
|
|
|
|
echo You can find precompiled info files in zsh-doc.tar.gz. ; }
|
|
|
|
|
|
1999-09-10 20:42:23 +00:00
|
|
|
@@ -125,7 +126,7 @@
|
1997-06-16 11:49:17 +00:00
|
|
|
# install info pages, creating install directory if necessary
|
|
|
|
|
install.info: zsh.info
|
|
|
|
|
$(top_srcdir)/mkinstalldirs $(infodir)
|
1999-09-10 20:42:23 +00:00
|
|
|
- for file in zsh.info zsh.info-[1-9]*; do \
|
1997-06-16 11:49:17 +00:00
|
|
|
+ for file in zsh.info*; do \
|
|
|
|
|
[ -f "$$file" ] && $(INSTALL_DATA) $$file $(infodir) ; \
|
|
|
|
|
done
|
|
|
|
|
|
