diff options
author | michelou <michelou@epfl.ch> | 2004-06-21 17:38:13 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2004-06-21 17:38:13 +0000 |
commit | 51a3f4687bb59df505d6dd7ff28bff451fca4831 (patch) | |
tree | 8ee292671fc8aff6874bf76b873c00809558c4e1 /support/scripts | |
parent | 0a4f68e6810e0ead77dc17078d3ddd616e3135b9 (diff) | |
download | scala-51a3f4687bb59df505d6dd7ff28bff451fca4831.tar.gz scala-51a3f4687bb59df505d6dd7ff28bff451fca4831.tar.bz2 scala-51a3f4687bb59df505d6dd7ff28bff451fca4831.zip |
- added 'ScalaIntro.pdf'.
Diffstat (limited to 'support/scripts')
-rw-r--r-- | support/scripts/website.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index 27907cbf0a..a02b86e07d 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -362,6 +362,8 @@ function website-build() { # copy old PDF and PostScript version of overview local resourcesdir="$websitedir-resources" + run cp -a "$resourcesdir/doc/ScalaIntro.pdf" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/ScalaIntro.ps.gz" "$websitedir/doc/"; run cp -a "$resourcesdir/doc/ScalaOverview.pdf" "$websitedir/doc/"; run cp -a "$resourcesdir/doc/ScalaOverview.ps.gz" "$websitedir/doc/"; } |