blob: c80f4c7f852c86be3739624e3bce5aade82f119a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
--- Doc/Makefile.in.orig Wed Dec 18 05:14:11 1996
+++ Doc/Makefile.in Mon Jun 16 20:40:29 1997
@@ -93,7 +93,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. ; }
@@ -127,7 +128,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
|
