diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 293676b5..989903cb 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,6 +1,6 @@ # Makefile for GNU Awk documentation. # -# Copyright (C) 1993-1997 the Free Software Foundation, Inc. +# Copyright (C) 1993-1999 the Free Software Foundation, Inc. # # This file is part of GAWK, the GNU implementation of the # AWK Programming Language. @@ -71,20 +71,25 @@ all: $(DOCS) info install: $(mandir)/gawk$(manext) $(mandir)/igawk$(manext) $(infodir)/gawk.info -$(infodir)/gawk.info: gawk.info +$(infodir)/gawk.info:: -if test -f gawk.info; then d=.; \ 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 \ + exit 0; \ + fi; \ for i in $$d/gawk.info*; do \ - $(INSTALL_DATA) $$i $(infodir)/$i ; \ + $(INSTALL_DATA) $$i $(infodir)/$$i ; \ done; \ if $(SHELL) -c 'install-info --version' > /dev/null 2>&1 ; \ then install-info --info-dir=$(infodir) gawk.info ; \ else true ; fi; exit 0 -$(mandir)/gawk$(manext): gawk.1 +$(mandir)/gawk$(manext):: gawk.1 $(INSTALL_DATA) $(srcdir)/gawk.1 $(mandir)/gawk$(manext) -$(mandir)/igawk$(manext): igawk.1 +$(mandir)/igawk$(manext):: igawk.1 $(INSTALL_DATA) $(srcdir)/igawk.1 $(mandir)/igawk$(manext) uninstall: |