22 lines
751 B
Plaintext
22 lines
751 B
Plaintext
--- 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 @@
|
|
everything: all zsh_us.ps zsh_a4.ps zsh_toc.html
|
|
|
|
zsh.info: zsh.texi
|
|
- @$(MAKEINFO) -I$(srcdir) $(srcdir)/zsh.texi || { \
|
|
+ @rm -f zsh.info
|
|
+ @$(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. ; }
|
|
|
|
@@ -125,7 +126,7 @@
|
|
# install info pages, creating install directory if necessary
|
|
install.info: zsh.info
|
|
$(top_srcdir)/mkinstalldirs $(infodir)
|
|
- for file in zsh.info zsh.info-[1-9]*; do \
|
|
+ for file in zsh.info*; do \
|
|
[ -f "$$file" ] && $(INSTALL_DATA) $$file $(infodir) ; \
|
|
done
|
|
|