Formerly compatMakefile.~34~

diff --git a/compatMakefile b/compatMakefile
index b6d09bc2ea664f9abfd377f0af2efb3e8a4bc28d..092abc9835e46248b514dfcd7723ff40ca934dfa 100644 (file)
--- a/compatMakefile
+++ b/compatMakefile
@@ -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