projects
/
scripts.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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}
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
fi
done
done