diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 52ecc76d..293676b5 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,6 +1,6 @@ # Makefile for GNU Awk documentation. # -# Copyright (C) 1993-1996 the Free Software Foundation, Inc. +# Copyright (C) 1993-1997 the Free Software Foundation, Inc. # # This file is part of GAWK, the GNU implementation of the # AWK Programming Language. @@ -79,7 +79,7 @@ $(infodir)/gawk.info: gawk.info done; \ if $(SHELL) -c 'install-info --version' > /dev/null 2>&1 ; \ then install-info --info-dir=$(infodir) gawk.info ; \ - else true ; fi + else true ; fi; exit 0 $(mandir)/gawk$(manext): gawk.1 $(INSTALL_DATA) $(srcdir)/gawk.1 $(mandir)/gawk$(manext) @@ -108,7 +108,7 @@ postscript: dvi gawk.1 igawk.1 $(AWKCARD) dvips -o gawk.ps gawk.dvi awkcard.tr: awkcard.in - sed 's/SRCDIR/$(srcdir)/' < $(srcdir)/awkcard.in > awkcard.tr + sed 's:SRCDIR:$(srcdir):' < $(srcdir)/awkcard.in > awkcard.tr awkcard.ps: $(CARDFILES) $(TROFF) $(CARDSRC) | $(SEDME) | cat $(srcdir)/setter.outline - > awkcard.ps |