diff options
| author | Hans-Peter Nilsson <hp@axis.com> | 2002-01-27 00:35:45 +0300 |
|---|---|---|
| committer | Hans-Peter Nilsson <hp@axis.com> | 2002-01-27 00:35:45 +0300 |
| commit | ab5d17797232a3d1750450d4d55a8a15f73c053c (patch) | |
| tree | 7507a7ed86a47fda7b3c409796c8c5ed310dc9e5 /etc/Makefile.in | |
| parent | be4ee22bbc3fc6e89a3602d125265f62ba61f375 (diff) | |
* Makefile.in (install): Depend on install-info.
Diffstat (limited to 'etc/Makefile.in')
| -rw-r--r-- | etc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/Makefile.in b/etc/Makefile.in index eedc8c9c1..2bc345745 100644 --- a/etc/Makefile.in +++ b/etc/Makefile.in @@ -51,7 +51,8 @@ DVIFILES = standards.dvi configure.dvi all: -install: +# We want install to imply install-info as per GNU standards. +install: install-info uninstall: |