Changeset 19131 for release-kits/derk/resources/build.sh

Timestamp:

2009-04-20T15:46:09+12:00 (15 years ago)

Author:

oranfry

Message:

changes to the names and locations of things

File:

• release-kits/derk/resources/build.sh (modified) (2 diffs)

release-kits/derk/resources/build.sh

@@ -3 +3 @@
 source setup.bash
 
-if [ ! -e "collect/dec" ]; then
+if [ ! -e "collect/documented-examples" ]; then
     cd collect
-    ln -s ../../dec
+    ln -s ../../documented-examples
     cd $opwd
 fi
@@ -11 +11 @@
 cd collect
 
-for coll in dec/*; do
+for coll in documented-examples/*; do
     cd $opwd
 
     if [ -d "collect/$coll/etc" ]; then
-        echo
-        echo "Building collection $coll "
-        echo
+        if [ ! -e "collect/$coll/index" ]; then
+            echo
+            echo "Building collection $coll "
+            echo
 
-        import.pl --removeold $coll && \
-        buildcol.pl --removeold $coll && \
-        rm -rf collect/$coll/index collect/$coll/archives && \
-        mv collect/$coll/building collect/$coll/index || exit 1
+            import.pl --removeold $coll && \
+            buildcol.pl --removeold $coll && \
+            rm -rf collect/$coll/index collect/$coll/archives && \
+            mv collect/$coll/building collect/$coll/index || exit 1
+        else
+            echo skipping $coll
+        fi
     fi
 done