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

diff --git a/clean.sh b/clean.sh
index 4ca5db6..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
@@ -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