diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/scripts/website.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index b5458cb9d9..156e5c2a9f 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -378,6 +378,9 @@ function website-build() { run cp -a "$resourcesdir/doc/MetaScala.pdf" "$websitedir/doc/"; run cp -a "$resourcesdir/doc/MetaScala.ps.gz" "$websitedir/doc/"; + # copy old MSIL examples + run cp -a "$resourcesdir/doc/test.il.txt" "$websitedir/doc/"; + # copy old Scala examples run cp -a "$resourcesdir/examples/fors.html" "$websitedir/examples/"; run cp -a "$resourcesdir/examples/patterns.html" "$websitedir/examples/"; |