diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-10-07 04:02:10 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-10-07 04:02:10 +0000 |
| commit | 0de960cd5b53337e7073047f41a8afe0113aface (patch) | |
| tree | 35acf7b2f06f36ac30efa572ff35042c9f85a968 /gnu/usr.bin/binutils/etc/Makefile.in | |
| parent | cb486f10ba5d2739f11d8014f42b3e6571c0f6c3 (diff) | |
man page fixes from niklas
Diffstat (limited to 'gnu/usr.bin/binutils/etc/Makefile.in')
| -rw-r--r-- | gnu/usr.bin/binutils/etc/Makefile.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gnu/usr.bin/binutils/etc/Makefile.in b/gnu/usr.bin/binutils/etc/Makefile.in index 829bf621c7f..907fc8613db 100644 --- a/gnu/usr.bin/binutils/etc/Makefile.in +++ b/gnu/usr.bin/binutils/etc/Makefile.in @@ -41,9 +41,15 @@ TEXIDIR = $(srcdir)/../texinfo INFOFILES = configure.info standards.info cfg-paper.info DVIFILES = configure.dvi standards.dvi cfg-paper.dvi +# Target to use for installing unformatted man-pages. Some systems may not +# want them installed. +INSTALL_MAN = install-man + all: -install: $(srcdir)/configure.man +install: $(INSTALL_MAN) + +install-man: $(srcdir)/configure.man $(INSTALL_DATA) $(srcdir)/configure.man $(man1dir)/configure.1 uninstall: |