[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug in gawk-3.0.6/doc/Makefile.in
From: |
Toomas Rosin |
Subject: |
bug in gawk-3.0.6/doc/Makefile.in |
Date: |
Mon, 14 May 2001 20:49:10 +0200 |
When building gawk in a separate directory, the `install-info' command
(line 84) fails. It succeeds when building in the source directory,
because then it finds gawk.info in the current working directory.
Fix:
--- gawk-3.0.6/doc/Makefile.in.~1~
+++ gawk-3.0.6/doc/Makefile.in
@@ -81,7 +81,7 @@
fi; \
$(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 ; \
+ then install-info --info-dir=$(infodir) $@ ; \
else true ; fi; exit 0
$(mandir)/gawk$(manext):: gawk.1
Or, you could use "$(srcdir)/gawk.info" instead of "$@". Both work
for me.
Peace,
Toomas.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug in gawk-3.0.6/doc/Makefile.in,
Toomas Rosin <=