includes MANDIR and DOCDIR

diff --git a/Makefile.in b/Makefile.in
index ef9a9ea5e2b7fdb1b6abfd29efa5148fb1e5012c..ccc7377f4ccd261085c5ab516fb4e3caffe8e4da 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -4,15 +4,15 @@
 
 # @configure_input@
 
-# $Id: Makefile.in,v 1.35 2000-09-13 19:27:47 thib Exp $
+# $Id: Makefile.in,v 1.36 2000-09-14 19:02:51 thib Exp $
 
 # Where should we install it ?
 prefix         = @prefix@
 exec_prefix    = @exec_prefix@
 DESTSBIN       = @sbindir@
 DESTBIN                = @bindir@
-DESTMAN                = @mandir@
-DESTDOC                = $(prefix)/doc
+DESTMAN                = @MANDIR@
+DESTDOC                = @DOCDIR@
 FCRONTABS      = @FCRONTABS@
 ETC            = @ETC@
 CFLAGS         = @CFLAGS@