diff options
Diffstat (limited to 'support')
-rw-r--r-- | support/scripts/website.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index 18e15ac74c..dad73e5155 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -389,6 +389,7 @@ function website-build() { run cp -a "$resourcesdir/examples/random.html" "$websitedir/examples/"; run cp -a "$resourcesdir/examples/simpleInterpreter.html" "$websitedir/examples/"; run cp -a "$resourcesdir/examples/sort.html" "$websitedir/examples/"; + run cp -a "$resourcesdir/examples/sort1.html" "$websitedir/examples/"; run cp -a "$resourcesdir/examples/timeofday.html" "$websitedir/examples/"; } |