author | clasohm |
Fri, 01 Dec 1995 12:03:13 +0100 | |
changeset 1376 | 92f83b9d17e1 |
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 |