diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 989903cb..edcf4046 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,6 +1,6 @@ # Makefile for GNU Awk documentation. # -# Copyright (C) 1993-1999 the Free Software Foundation, Inc. +# Copyright (C) 1993-2000 the Free Software Foundation, Inc. # # This file is part of GAWK, the GNU implementation of the # AWK Programming Language. @@ -76,12 +76,10 @@ $(infodir)/gawk.info:: else d=$(srcdir); fi; \ if [ -f $(infodir)/dir -a -f $(infodir)/gawk.info ] \ && cmp $$d/gawk.info $(infodir)/gawk.info > /dev/null \ - && grep '(gawk\.info)' $(infodir)/dir > /dev/null; then \ + && grep '(gawk)' $(infodir)/dir > /dev/null; then \ exit 0; \ fi; \ - for i in $$d/gawk.info*; do \ - $(INSTALL_DATA) $$i $(infodir)/$$i ; \ - done; \ + $(INSTALL_DATA) $$d/gawk.info $(infodir)/gawk.info ; \ if $(SHELL) -c 'install-info --version' > /dev/null 2>&1 ; \ then install-info --info-dir=$(infodir) gawk.info ; \ else true ; fi; exit 0 @@ -98,9 +96,7 @@ uninstall: dvi: gawk.dvi gawk.dvi: gawk.texi - -TEXINPUTS=$$TEXINPUTS:$(srcdir) $(TEXI2DVI) $(srcdir)/gawk.texi - texindex gawk.?? - TEXINPUTS=$$TEXINPUTS:$(srcdir) $(TEX) $(srcdir)/gawk.texi + -TEXINPUTS=$(srcdir):$$TEXINPUTS $(TEXI2DVI) $(srcdir)/gawk.texi info: gawk.info |