diff options
| author | Roland McGrath <roland@redhat.com> | 1995-05-10 21:59:24 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@redhat.com> | 1995-05-10 21:59:24 +0000 |
| commit | eb3b7904f014b531b0cbec66d8cc322c2356ac51 (patch) | |
| tree | 17d11ee4039a663c5529320da66d3340d0d3ac6b | |
| parent | bbfb2700927471a1bf582f41bca6ce7b8377645d (diff) | |
| download | gunmake-eb3b7904f014b531b0cbec66d8cc322c2356ac51.tar.gz | |
Regenerated3.73.3
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 4140afe..b77794f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -216,6 +216,7 @@ $(infodir)/make.info: make.info # We use `$(SHELL) -c' because some shells do not # fail gracefully when there is an unknown command. if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ + if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \ install-info --infodir=$(infodir) $$dir/make.info; \ else true; fi |