diff options
author | michelou <michelou@epfl.ch> | 2004-10-01 09:58:10 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2004-10-01 09:58:10 +0000 |
commit | 8233d9710778dbc866a04b86c246a4fb89561fb6 (patch) | |
tree | 257060c4e121f8a6b6bf5a8d110aa7786b1f19ab | |
parent | 3dd173c8ed966f80ab988b46174753ad8fe7e577 (diff) | |
download | scala-8233d9710778dbc866a04b86c246a4fb89561fb6.tar.gz scala-8233d9710778dbc866a04b86c246a4fb89561fb6.tar.bz2 scala-8233d9710778dbc866a04b86c246a4fb89561fb6.zip |
- added examples random.scala and timeofday.scala
-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 156e5c2a9f..d5bc777180 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -384,7 +384,9 @@ function website-build() { # 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/random.html" "$websitedir/examples/"; run cp -a "$resourcesdir/examples/sort.html" "$websitedir/examples/"; + run cp -a "$resourcesdir/examples/timeofday.html" "$websitedir/examples/"; } ############################################################################## |