diff options
author | paltherr <paltherr@epfl.ch> | 2004-01-23 19:07:38 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-01-23 19:07:38 +0000 |
commit | 328063bbe52388861129d7656e9fc751cafef60b (patch) | |
tree | d634d2583bb9c1fd154314c0cdab5a5c8a15ef62 /support/scripts | |
parent | ae2cba73199283561f20cedcd128c75be16dc28e (diff) | |
download | scala-328063bbe52388861129d7656e9fc751cafef60b.tar.gz scala-328063bbe52388861129d7656e9fc751cafef60b.tar.bz2 scala-328063bbe52388861129d7656e9fc751cafef60b.zip |
- Added handling of ScalaRationale.pdf
- Added use of website-resources
- Removed use of website.old
Diffstat (limited to 'support/scripts')
-rw-r--r-- | support/scripts/website.sh | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index be18ac3ba2..ff1da39eec 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -331,10 +331,7 @@ function website-build() { # remove old repository and create new one local websitedir="$archivedir/website"; - if [ -d "$websitedir" ]; then - [ -d "$websitedir.old" ] && run rm -rf "$websitedir.old"; - run mv "$websitedir" "$websitedir.old"; - fi; + [ -d "$websitedir" ] && run rm -rf "$websitedir"; run mkdir "$websitedir"; run mkdir "$websitedir/doc"; @@ -352,11 +349,13 @@ function website-build() { $program-pdf-link "$installdir/doc" "ScalaReference" "$websitedir/doc"; $program-pdf-link "$installdir/doc" "ScalaByExample" "$websitedir/doc"; $program-pdf-link "$installdir/doc" "ScalaTutorial" "$websitedir/doc"; + $program-pdf-link "$addonsdir/doc" "ScalaRationale" "$websitedir/doc"; $program-pdf-link "$addonsdir/doc" "ProgrammingInScala" "$websitedir/doc"; # copy old PDF and PostScript version of overview - run cp -a "$websitedir.old/doc/ScalaOverview.pdf" "$websitedir/doc/"; - run cp -a "$websitedir.old/doc/ScalaOverview.ps.gz" "$websitedir/doc/"; + local resourcesdir="$websitedir-resources" + run cp -a "$resourcesdir/doc/ScalaOverview.pdf" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/ScalaOverview.ps.gz" "$websitedir/doc/"; } ############################################################################## |