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

Install the docs in $real_datadir, not $datadir.

[project @ 1999-03-02 11:46:28 by simonm]
Install the docs in $real_datadir, not $datadir.
b1111363 · Simon Marlow · 82f0cf81 · b1111363
Commit b1111363 authored 26 years ago by Simon Marlow
--- 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