diff options
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 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/"; } ############################################################################## |