[project @ 1999-03-02 11:46:28 by simonm]

Install the docs in $real_datadir, not $datadir.

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index fdfdb6a..a7c9357 100644 (file)
--- 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