diff options
author | michelou <michelou@epfl.ch> | 2004-09-15 13:30:33 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2004-09-15 13:30:33 +0000 |
commit | 2cbdc0ba3b93ed6dc7ed85758ce34ee8e020fb74 (patch) | |
tree | 38151bf502fad6e01db516302e7c9025c60490b9 /support/scripts | |
parent | 01409a254a4d90e8f1f8193cb9eb540a89780f53 (diff) | |
download | scala-2cbdc0ba3b93ed6dc7ed85758ce34ee8e020fb74.tar.gz scala-2cbdc0ba3b93ed6dc7ed85758ce34ee8e020fb74.tar.bz2 scala-2cbdc0ba3b93ed6dc7ed85758ce34ee8e020fb74.zip |
- added directory 'examples' in $websitedir.
Diffstat (limited to 'support/scripts')
-rw-r--r-- | support/scripts/website.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index a02b86e07d..9a77b74cbd 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -342,6 +342,7 @@ function website-build() { [ -d "$websitedir" ] && run rm -rf "$websitedir"; run mkdir "$websitedir"; run mkdir "$websitedir/doc"; + run mkdir "$websitedir/examples"; # create website.xml runO "$websitedir/website.xml" website-print-xml "$archivedir" "$current"; @@ -366,6 +367,11 @@ function website-build() { 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/"; + + # copy old Scala examples + run cp -a "$resourcesdir/examples/fors.html" "$websitedir/examples/"; + run cp -a "$resourcesdir/examples/patterns.html" "$websitedir/examples/"; + run cp -a "$resourcesdir/examples/sort.html" "$websitedir/examples/"; } ############################################################################## |