diff options
| author | Craig Burley <burley@gnu.org> | 1998-05-22 10:25:34 +0000 |
|---|---|---|
| committer | Dave Love <fx@gcc.gnu.org> | 1998-05-22 10:25:34 +0000 |
| commit | 92edcdc833c6f4ac45c95b8688db17a7f91c0465 (patch) | |
| tree | 870a428cd7c2b4a1cf2a788e1fa5ca5ed1c1684b | |
| parent | 1ed565d7a64436812e2ad33a7ddf1bf6cd10dd58 (diff) | |
| download | gcc-92edcdc833c6f4ac45c95b8688db17a7f91c0465.zip gcc-92edcdc833c6f4ac45c95b8688db17a7f91c0465.tar.gz gcc-92edcdc833c6f4ac45c95b8688db17a7f91c0465.tar.bz2 | |
Make-lang.in (f77.install-info, [...]): Use install-info as appropriate.
Tue May 19 14:51:59 1998 Craig Burley <burley@gnu.org>
* Make-lang.in (f77.install-info, f77.uninstall):
Use install-info as appropriate.
From-SVN: r19953
| -rw-r--r-- | gcc/f/Make-lang.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/f/Make-lang.in b/gcc/f/Make-lang.in index 14964d5..4ad6d82 100644 --- a/gcc/f/Make-lang.in +++ b/gcc/f/Make-lang.in @@ -339,6 +339,12 @@ f77.install-info: f77.info done; \ chmod a-x $(infodir)/g77.info*; \ fi + @if [ -f lang-f77 -a -f $(srcdir)/f/g77.info ] ; then \ + if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \ + echo " install-info --info-dir=$(infodir) $(infodir)/g77.info"; \ + install-info --info-dir=$(infodir) $(infodir)/g77.info || : ; \ + else : ; fi; \ + else : ; fi f77.install-man: $(srcdir)/f/g77.1 -if [ -f f771$(exeext) ] ; then \ @@ -362,6 +368,12 @@ f77.install-man: $(srcdir)/f/g77.1 else true; fi f77.uninstall: + @if [ -f lang-f77 ] ; then \ + if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \ + echo " install-info --delete --info-dir=$(infodir) $(infodir)/g77.info"; \ + install-info --delete --info-dir=$(infodir) $(infodir)/g77.info || : ; \ + else : ; fi; \ + else : ; fi -if $(F77_INSTALL_FLAG) ; then \ rm -rf $(bindir)/$(F77_INSTALL_NAME)$(exeext) ; \ rm -rf $(bindir)/$(F77_CROSS_NAME)$(exeext) ; \ |