Added initial /bin/csh line and comments
authorlcp
Tue, 28 Feb 1995 10:54:49 +0100
changeset 920 b162fe4ae444
parent 919 49271bd72c42
child 921 6bee3815c0bf
Added initial /bin/csh line and comments
src/Tools/runqed
--- a/src/Tools/runqed	Tue Feb 28 10:53:56 1995 +0100
+++ b/src/Tools/runqed	Tue Feb 28 10:54:49 1995 +0100
@@ -1,6 +1,10 @@
-#!/bin/csh
-foreach n (*ML)
-qed $n $n:r.MLL
-mv $n $n:r.bak
-mv $n:r.MLL $n
+#! /bin/csh
+# $Id$
+# Run qed on all ML files in the current directory
+foreach f (*ML)
+echo Expanding shorthands in $f. \ Backup file is $f:r.bak
+qed $f $f:r.MLL
+mv $f $f:r.bak
+mv $f:r.MLL $f
 end
+echo Finished.