diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 16109bfcaa..249da9efe2 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -550,11 +550,21 @@ datadir = $(datadir0)/ghc-$(ProjectVersion) endif # Windows headerdir = $(libdir)/include -docdir = @docdir@ -htmldir = @htmldir@ -dvidir = @dvidir@ -pdfdir = @pdfdir@ -psdir = @psdir@ + +# New autoconf (>= 2.60?) make a configure with --docdir=DIR etc flags. +# However, in order to support older autoconf's we don't use them. + +#docdir = @docdir@ +#htmldir = @htmldir@ +#dvidir = @dvidir@ +#pdfdir = @pdfdir@ +#psdir = @psdir@ + +docdir = $(datarootdir)/doc/ghc +htmldir = $(docdir) +dvidir = $(docdir) +pdfdir = $(docdir) +psdir = $(docdir) # Default place for putting interface files is $(libdir) # (overriden for packages in package.mk) |