diff options
author | Nikodemus Siivola <nikodemus@random-state.net> | 2004-10-21 13:00:16 +0000 |
---|---|---|
committer | Nikodemus Siivola <nikodemus@random-state.net> | 2004-10-21 13:00:16 +0000 |
commit | e33e99504666fda29c1b3cc4ed2daa579aa90df1 (patch) | |
tree | a64669867a97c58b0b5203bfec2e7d898fc05034 /install.sh | |
parent | ad6d0faf5e478900b67df9fbe4b0d5067ff51d55 (diff) |
0.8.15.20: Fix HTML installation
* On some systems we were installing the HTML docs
in ever deeper directories on every install. Make
it not so, and try to stick to commandline flags
actually specified in SUV3. Reported by Stefan Scholl.
Diffstat (limited to 'install.sh')
-rw-r--r-- | install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install.sh b/install.sh index 0f21d24a0..fbad2a8ad 100644 --- a/install.sh +++ b/install.sh @@ -99,7 +99,7 @@ done # html for html in doc/manual/sbcl doc/manual/asdf do - test -d $html && cp -r $html $BUILD_ROOT$DOC_DIR/html/`basename $html` \ + test -d $html && cp -R -L $html $BUILD_ROOT$DOC_DIR/html \ && echo " html $BUILD_ROOT$DOC_DIR/html/`basename $html`/index.html" done |