mirror of
https://github.com/mirror/make.git
synced 2025-03-25 01:00:30 +08:00
Formerly compatMakefile.~34~
This commit is contained in:
parent
3241a91312
commit
47707f76cb
@ -81,7 +81,7 @@ instname = make
|
||||
# Directory to install `make' in.
|
||||
bindir = $(exec_prefix)/bin
|
||||
# Directory to install the man page in.
|
||||
mandir = $(prefix)/man/manl
|
||||
mandir = $(prefix)/man/man$(manext)
|
||||
# Number to put on the man page filename.
|
||||
manext = l
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user