11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
+
+
+
-
+
|
# Copyright (c) P.J.Gawthrop, 1998.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 1998/03/11 10:32:35 peterg
## Initial revision
##
###############################################################
dotdot=$2 # Set to ../ if we are in MTT_work
# Create paths for all valid examples - ie dir name is system name
find $dotdot$1 -name '*_abg.fig' -print | sort |\
find $dotdot$1 -name '*_abg.fig' -print |\
awk '{
N=split($1,name,"/");
printf("%s", name[1]);
for (i=2;i<N;i++) printf("/%s", name[i]);
printf(" %s %s\n", name[N-1], name[N]);
}' |\
awk '{
|