diff options
| author | Dave Love <d.love@dl.ac.uk> | 1998-06-21 20:01:56 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 1998-06-21 14:01:56 -0600 |
| commit | 824d90760c30ece02ac567e2246c214496ca8916 (patch) | |
| tree | 3d93d9c49d9766a34daf9abd037fedab3ab17f23 /gcc/Makefile.in | |
| parent | 2086b675dd3ebb60d5e69f823941ce955a2d2a45 (diff) | |
| download | gcc-824d90760c30ece02ac567e2246c214496ca8916.tar.gz | |
Makefile.in (install-info): Use install-info program if available, per GNU standard.
* Makefile.in (install-info): Use install-info program if
available, per GNU standard.
From-SVN: r20645
Diffstat (limited to 'gcc/Makefile.in')
| -rw-r--r-- | gcc/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 3843e97bb73..819bccc4cc3 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -2365,6 +2365,9 @@ install-info: doc installdirs lang.install-info for f in cpp.info* gcc.info*; do \ realfile=`echo $$f | sed -e 's|.*/\([^/]*\)$$|\1|'`; \ $(INSTALL_DATA) $$f $(infodir)/$$realfile; \ + if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ + install-info --dir-file=$(infodir)/dir $(infodir)/$$realfile; \ + else true; fi done -chmod a-x $(infodir)/cpp.info* $(infodir)/gcc.info* |