From 1a096063ae80949182dedba0e8428625f831f7e5 Mon Sep 17 00:00:00 2001
From: thib <thib>
Date: Thu, 22 Aug 2002 21:35:56 +0000
Subject: [PATCH] bug fix : doc's Makefile now handle DESTDIR

---
 doc/Makefile.in | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 93ead72..ab71e02 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -4,7 +4,7 @@
 
 # @configure_input@
 
-# $Id: Makefile.in,v 1.10 2002-07-19 19:43:25 thib Exp $
+# $Id: Makefile.in,v 1.11 2002-08-22 21:35:56 thib Exp $
 
 # The following should not be edited manually (use configure options)
 # If you must do it, BEWARE : some of the following is also defined
@@ -15,8 +15,8 @@
 SRCDIR		= @srcdir@
 
 prefix		= @prefix@
-DESTMAN		= @mandir@
-DESTDOC		= @DOCDIR@
+DESTMAN		= $(DESTDIR)@mandir@
+DESTDOC		= $(DESTDIR)@DOCDIR@
 
 INSTALL		= @INSTALL@
 JADE 		= @JADE@
-- 
2.50.1