From 2cbdc0ba3b93ed6dc7ed85758ce34ee8e020fb74 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Wed, 15 Sep 2004 13:30:33 +0000
Subject: - added directory 'examples' in $websitedir.

---
 support/scripts/website.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/support/scripts/website.sh b/support/scripts/website.sh
index a02b86e07d..9a77b74cbd 100644
--- a/support/scripts/website.sh
+++ b/support/scripts/website.sh
@@ -342,6 +342,7 @@ function website-build() {
     [ -d "$websitedir" ] && run rm -rf "$websitedir";
     run mkdir "$websitedir";
     run mkdir "$websitedir/doc";
+    run mkdir "$websitedir/examples";
 
     # create website.xml
     runO "$websitedir/website.xml" website-print-xml "$archivedir" "$current";
@@ -366,6 +367,11 @@ function website-build() {
     run cp -a "$resourcesdir/doc/ScalaIntro.ps.gz" "$websitedir/doc/";
     run cp -a "$resourcesdir/doc/ScalaOverview.pdf" "$websitedir/doc/";
     run cp -a "$resourcesdir/doc/ScalaOverview.ps.gz" "$websitedir/doc/";
+
+    # 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/sort.html" "$websitedir/examples/";
 }
 
 ##############################################################################
-- 
cgit v1.2.3