Put man pages in /usr/share/man under Linux.

[ppp.git] / linux / Makefile.top

diff --git a/linux/Makefile.top b/linux/Makefile.top
index 62f5ba2ef29843cca05fc0074a3105a023862e3c..fba9bcdad62ff2974b7315a2486cd04cc0dc381f 100644 (file)
--- a/linux/Makefile.top
+++ b/linux/Makefile.top
@@ -3,7 +3,7 @@
 DESTDIR = @DESTDIR@
 BINDIR = $(DESTDIR)/sbin
 INCDIR = $(DESTDIR)/include
-MANDIR = $(DESTDIR)/man
+MANDIR = $(DESTDIR)/share/man
 ETCDIR = @SYSCONF@/ppp
 
 # uid 0 = root