diff options
author | sven.panne@aedion.de <unknown> | 2007-09-08 12:33:17 +0000 |
---|---|---|
committer | sven.panne@aedion.de <unknown> | 2007-09-08 12:33:17 +0000 |
commit | 0ecf634bfc122cdb81e7569718e27c880cd2c40f (patch) | |
tree | ca8bd0e41854b9aa0740005d1a9083508367fbfe /mk | |
parent | 513f08c0a11a39ed2e25aa30de51fb0513fa1ccb (diff) | |
download | haskell-0ecf634bfc122cdb81e7569718e27c880cd2c40f.tar.gz |
Added comment about GNU coding standards/autoconf history
MERGE TO STABLE
Diffstat (limited to 'mk')
-rw-r--r-- | mk/config.mk.in | 31 |
1 files changed, 26 insertions, 5 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 7e00d1852d..7148144b5d 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -512,11 +512,32 @@ BIN_DIST_TARBALL=$(BIN_DIST_TOPDIR_REL)/$(BIN_DIST_NAME)-$(TARGETPLATFORM).tar.b BIN_DIST_INST_DIR = $(FPTOOLS_TOP_ABS)/bindisttest/installed - -# -# Installation directories, we don't use half of these, -# but since the configure script has them on offer while -# passing through, we might as well set them. +# Definition of installation directories, we don't use half of these, but since +# the configure script has them on offer while passing through, we might as well +# set them. Note that we have to be careful, because the GNU coding standards +# have changed a bit over the course of time, and autoconf development reflects +# this. +# +# A little bit of history regarding autoconf and GNU coding standards, use this +# as a cheat-sheet for the stuff below: +# +# variable | default < 2.60 | default >= 2.60 +# ------------+--------------------+-------------------------------------- +# exec_prefix | ${prefix} | ${prefix} +# libdir | ${exec_prefix}/lib | ${exec_prefix}/lib +# datarootdir | NONE! | ${prefix}/share +# datadir | ${prefix}/share | ${datarootdir} +# infodir | ${prefix}/info | ${datarootdir}/info +# mandir | ${prefix}/man | ${datarootdir}/man +# docdir | NONE! | ${datarootdir}/doc/${PACKAGE_TARNAME} +# htmldir | NONE! | ${docdir} +# dvidir | NONE! | ${docdir} +# pdfdir | NONE! | ${docdir} +# psdir | NONE! | ${docdir} +# +# NOTE: The default e.g. ${docdir} above means that autoconf substitutes the +# string "${docdir}", not the value of docdir! This is crucial for the GNU +# coding standards. prefix := @prefix@ |