X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=scripts.git;a=blobdiff_plain;f=clean.sh;h=b6767a3d3b056317e0e4c258e8b2708cba68b3a0;hp=496d46f05ead24f1ddbaf1c7f39e5513db2927fe;hb=1e890fe2d9174c9885320fc48228a43b8154f87d;hpb=e2f53975cc8e22c351a9b8095f88320cc1c40db2

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