author | wenzelm |
Wed, 15 Oct 1997 15:12:59 +0200 | |
changeset 3872 | a5839ecee7b8 |
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 |