blob: 1c11069e06fecb4751fec72d2eeed17db0655bb8 (
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 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
|
