<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- doc/Makefile.in~	2007-06-02 22:41:36.000000000 +0100
+++ doc/Makefile.in	2021-08-12 17:43:28.000000000 +0100
@@ -23,11 +23,11 @@
 srcdir		 = @srcdir@
 # we aren't using VPATH
 # VPATH		 = @srcdir@
-MANDIR		 = @mandir@
+MANDIR		 = $(DESTDIR)@mandir@
 INSTALL	 = @INSTALL@
 INSTALL_INFO	 = install-info
 INFO_FILES	 = integrit.info
-infodir	 = @infodir@
+infodir	 = $(DESTDIR)@infodir@
 
 # target for developers puts info file in srcdir
 # 
</pre></body></html>