diff options
| author | michelou <michelou@epfl.ch> | 2004-09-16 11:36:28 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2004-09-16 11:36:28 +0000 |
| commit | b6ae5c66e25b79ca85e828ef3ded4b33d9c3f17a (patch) | |
| tree | bcf70b532bfaa176928197f4f51598e3d6549d0b /support/scripts | |
| parent | 780d8d55b1ec7b4564e008d847909a171ee33baa (diff) | |
| download | scala-b6ae5c66e25b79ca85e828ef3ded4b33d9c3f17a.tar.gz scala-b6ae5c66e25b79ca85e828ef3ded4b33d9c3f17a.tar.bz2 scala-b6ae5c66e25b79ca85e828ef3ded4b33d9c3f17a.zip | |
- added Scala related documents.
Diffstat (limited to 'support/scripts')
| -rw-r--r-- | support/scripts/website.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index 9a77b74cbd..b5458cb9d9 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -368,6 +368,16 @@ function website-build() { run cp -a "$resourcesdir/doc/ScalaOverview.pdf" "$websitedir/doc/"; run cp -a "$resourcesdir/doc/ScalaOverview.ps.gz" "$websitedir/doc/"; + # copy old PDF and PostScript version of Scala related documents + run cp -a "$resourcesdir/doc/IC_TECH_REPORT_200433.pdf" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/IC_TECH_REPORT_200433.ps.gz" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/PiLib.pdf" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/PiLib.ps.gz" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/ScalaAsmL.pdf" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/ScalaAsmL.ps.gz" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/MetaScala.pdf" "$websitedir/doc/"; + run cp -a "$resourcesdir/doc/MetaScala.ps.gz" "$websitedir/doc/"; + # copy old Scala examples run cp -a "$resourcesdir/examples/fors.html" "$websitedir/examples/"; run cp -a "$resourcesdir/examples/patterns.html" "$websitedir/examples/"; |