10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
+
+
+
|
# Copyright (c) P.J.Gawthrop, 1997.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.3 2001/07/12 04:02:53 gawthrop
## Now fixes multiports for input and output as well as state
##
## Revision 1.2 2000/11/27 17:45:00 peterg
## Removed "System" from heading
##
## Revision 1.1 2000/11/27 15:11:15 peterg
## Initial revision
##
## Revision 1.7 1997/12/06 16:20:37 peterg
|
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
-
+
|
\index{\textbf{$1} -- subsystems}
EOF
cat $1_sub.tex >> $filename
#Now do the subsystems (if at top level)
if [ -z "$2" ]; then
sub2subs $1 | sort -u | \
awk '{print "abg2tex", pdf, $1, filename}' pdf=$pdf filename=$filename | sh
gawk '{print "abg2tex", pdf, $1, filename}' pdf=$pdf filename=$filename | sh
fi
|