mirror of
https://git.savannah.gnu.org/git/make.git
synced 2025-02-05 22:17:05 +00:00
Formerly compatMakefile.~46~
This commit is contained in:
parent
02caa22338
commit
123f70c521
1 changed files with 2 additions and 2 deletions
|
@ -81,7 +81,7 @@ includedir = $(prefix)/include
|
|||
# Directory to install the man page in.
|
||||
mandir = $(prefix)/man/man$(manext)
|
||||
# Number to put on the man page filename.
|
||||
manext = l
|
||||
manext = 1
|
||||
|
||||
# Install make setgid to this group so it can read /dev/kmem.
|
||||
group = kmem
|
||||
|
@ -171,7 +171,7 @@ $(bindir)/$(instname): make
|
|||
mv $@.new $@
|
||||
|
||||
$(mandir)/$(instname).$(manext): make.man
|
||||
$(INSTALL_DATA) make.man $@
|
||||
$(INSTALL_DATA) $(srcdir)/make.man $@
|
||||
|
||||
.PHONY: clean realclean distclean mostlyclean
|
||||
clean: glob-clean
|
||||
|
|
Loading…
Reference in a new issue