author | wenzelm |
Mon, 17 Feb 1997 17:23:14 +0100 | |
changeset 2652 | 024654b75919 |
parent 903 | 26138063bb88 |
permissions | -rwxr-xr-x |
903
26138063bb88
New shell script for finding orphan .ML files (those with no
lcp
parents:
diff
changeset
|
1 |
#! /bin/csh |
26138063bb88
New shell script for finding orphan .ML files (those with no
lcp
parents:
diff
changeset
|
2 |
# $Id$ |
26138063bb88
New shell script for finding orphan .ML files (those with no
lcp
parents:
diff
changeset
|
3 |
# Find all "orphan" ML-files (those with no thy-file) |
26138063bb88
New shell script for finding orphan .ML files (those with no
lcp
parents:
diff
changeset
|
4 |
foreach f (*.ML) |
26138063bb88
New shell script for finding orphan .ML files (those with no
lcp
parents:
diff
changeset
|
5 |
if ( ! -f $f:r.thy ) echo $f |
26138063bb88
New shell script for finding orphan .ML files (those with no
lcp
parents:
diff
changeset
|
6 |
end |