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
36
37
38
39
40
|
# Copyright (c) P.J.Gawthrop, 1997.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
###############################################################
# Inform user
echo "Creating $1_rep.txt (Directory version)"
# Headings
echo "% Verbal description for directory $1 ($1_rep.txt)"> $1_rep.txt
echo "% Generated by MTT on" `date`. >> $1_rep.txt
# Create paths for all valid examples - ie dir name is system name
find $1 -name '*_abg.fig' -print | sort |\
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 '{
correctname=sprintf("%s_abg.fig", $2);
if ($3==correctname) print "mtt -t -d " $1,$2 " rep tex";
|
>
>
>
|
<
<
<
<
<
<
|
|
<
|
|
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
36
|
# Copyright (c) P.J.Gawthrop, 1997.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 1998/02/05 13:31:25 peterg
## Initial revision
##
###############################################################
dotdot=$2 # Set to ../ if we are in MTT_work
# Inform user
echo "Creating $1_rep.txt (Directory version)"
# Headings
echo "% Verbal description for directory $1 ($1_rep.txt)"> $1_rep.txt
echo "% Generated by MTT on" `date`. >> $1_rep.txt
# Create paths for all valid examples - ie dir name is system name
dir2paths $1 $2 | \
awk '{
print "mtt -t -d " $1,$2 " rep tex";
}' >> $1_rep.txt
|