removed obsolete website directory -- information derived by website/build;
authorwenzelm
Sun, 05 Apr 2009 22:25:02 +0200
changeset 30870 61f2131554cd
parent 30865 5106e13d400f
child 30871 104b13484feb
removed obsolete website directory -- information derived by website/build;
Admin/makedist
--- a/Admin/makedist	Fri Apr 03 18:03:29 2009 +0200
+++ b/Admin/makedist	Sun Apr 05 22:25:02 2009 +0200
@@ -125,17 +125,6 @@
 cd "$DISTNAME" || fail "No dist directory: $DISTBASE/$DISTNAME"
 
 
-# website
-
-mkdir -p ../website
-cat > ../website/config <<EOF
-DISTNAME="$DISTNAME"
-DISTBASE="$DISTBASE"
-EOF
-
-cp lib/html/library_index_content.template ../website/
-
-
 # prepare dist for release
 
 echo "###"