Make configure install the docs in the standard place.
Closes #315 (on github)
(cherry picked from commit 91aa7f3527
)
This commit is contained in:
parent
a8a5ee30d9
commit
59b18eec39
2
src/configure
vendored
2
src/configure
vendored
|
@ -2301,7 +2301,7 @@ else
|
||||||
libpltdir="${libdir}/racket"
|
libpltdir="${libdir}/racket"
|
||||||
collectsdir="${libdir}/racket/collects"
|
collectsdir="${libdir}/racket/collects"
|
||||||
includepltdir="${includedir}/racket"
|
includepltdir="${includedir}/racket"
|
||||||
docdir="${datadir}/racket/doc"
|
docdir="${datadir}/doc/racket"
|
||||||
MAKE_COPYTREE=copytree
|
MAKE_COPYTREE=copytree
|
||||||
COLLECTS_PATH='${collectsdir}'
|
COLLECTS_PATH='${collectsdir}'
|
||||||
INSTALL_ORIG_TREE=no
|
INSTALL_ORIG_TREE=no
|
||||||
|
|
|
@ -213,7 +213,7 @@ else
|
||||||
libpltdir="${libdir}/racket"
|
libpltdir="${libdir}/racket"
|
||||||
collectsdir="${libdir}/racket/collects"
|
collectsdir="${libdir}/racket/collects"
|
||||||
includepltdir="${includedir}/racket"
|
includepltdir="${includedir}/racket"
|
||||||
docdir="${datadir}/racket/doc"
|
docdir="${datadir}/doc/racket"
|
||||||
MAKE_COPYTREE=copytree
|
MAKE_COPYTREE=copytree
|
||||||
COLLECTS_PATH='${collectsdir}'
|
COLLECTS_PATH='${collectsdir}'
|
||||||
INSTALL_ORIG_TREE=no
|
INSTALL_ORIG_TREE=no
|
||||||
|
|
Loading…
Reference in New Issue
Block a user