Update.

[scripts.git] / clean.sh

diff --git a/clean.sh b/clean.sh
index 496d46f..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