Update.

[scripts.git] / clean.sh

diff --git a/clean.sh b/clean.sh
index 4ca5db6..b6767a3 100755 (executable)
--- a/clean.sh
+++ b/clean.sh
@@ -32,12 +32,12 @@ for i in "nav:tex" "snm:tex" "toc:tex" "blg:tex" \
     for f in *.$PRODUCED; do
         ORIGINAL=${f/.$PRODUCED/.$SOURCE}
         if [ -f "${ORIGINAL}" ]; then
-            if [ "${f}" -nt "${ORIGINAL}" ]; then
+            # if [ "${f}" -nt "${ORIGINAL}" ]; then
                 echo "Moving file $f to ${TRASH} ($ORIGINAL exists)"
                 mv $f ${TRASH}
-            else
-                echo "File $f is older than $ORIGINAL. Keeping both."
-            fi
+            # else
+                # echo "File $f is older than $ORIGINAL. Keeping both."
+            # fi
         fi
     done
 done
@@ -51,7 +51,7 @@ done
 
 for f in $(find -type f -executable); do
     if [ -f ${f}.cc ] || [ -f ${f}.c ]; then
-        echo "move $f to ${TRASH} (source code exists)"
+        echo "Moving $f to ${TRASH} (source code exists)"
         mv $f ${TRASH}
     fi
 done