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
|
>
>
>
|
|
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
|
# Copyright (c) P.J.Gawthrop, 1997.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.2 1998/03/11 10:32:11 peterg
## Now uses dir2paths transformation
##
## 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 | sed 's/Introduction/AAAAA/g' | sort | sed 's/AAAAA/Introduction/g' | \
awk '{
print "mtt -t -d " $1,$2 " rep tex";
}' >> $1_rep.txt
|