From b11113639cd243d9746e900f181cb5395ab246b1 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Tue, 2 Mar 1999 11:46:28 +0000
Subject: [PATCH] [project @ 1999-03-02 11:46:28 by simonm] Install the docs in
 $real_datadir, not $datadir.

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

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index fdfdb6a94872..a7c9357f2ac0 100644
--- a/distrib/Makefile-bin.in
+++ b/distrib/Makefile-bin.in
@@ -66,9 +66,9 @@ prefix      = @prefix@
 exec_prefix = @exec_prefix@
 
 # default
-infodir   = $(datadir)
-htmldir   = $(datadir)
-dvidir    = $(datadir)
+infodir   = $(real_datadir)
+htmldir   = $(real_datadir)
+dvidir    = $(real_datadir)
 
 #
 # Putting the package stuff in package-specific
-- 
GitLab