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 /support | |
| parent | 3dd173c8ed966f80ab988b46174753ad8fe7e577 (diff) | |
| download | scala-8233d9710778dbc866a04b86c246a4fb89561fb6.tar.gz scala-8233d9710778dbc866a04b86c246a4fb89561fb6.tar.bz2 scala-8233d9710778dbc866a04b86c246a4fb89561fb6.zip | |
- added examples random.scala and timeofday.scala
Diffstat (limited to 'support')
| -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/"; } ############################################################################## |