8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
# Revision 1.1 1996/08/18 19:58:49 peter
# Initial revision
#
###############################################################
BEGIN {
|
>
>
>
|
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
# Revision 1.2 1997/05/19 16:11:10 peterg
# Modified section headers.
#
# Revision 1.1 1996/08/18 19:58:49 peter
# Initial revision
#
###############################################################
BEGIN {
|
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
Rep_lang = sprintf("%s_%s", Representation, Language);
section_head = sprintf("System \\textbf{%s}: representation \\textbf{%s}, language \\textbf{%s}", \
system_name,Representation,Language);
# tex files
if( match("tex",Language)>0) {
print "\\section{" section_head "}";
printf(" \\input{%s_%s.%s}\n", system_name, Representation, Language);
}
# text files
if( match("txt r m c",Language)>0) {
print "\\section{" section_head "}";
print " \\begin{verbatim}";
command = sprintf("cat %s_%s.%s", system_name, Representation, Language);
system(command);
print " \\end{verbatim}";
|
|
<
>
>
|
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
Rep_lang = sprintf("%s_%s", Representation, Language);
section_head = sprintf("System \\textbf{%s}: representation \\textbf{%s}, language \\textbf{%s}", \
system_name,Representation,Language);
# tex files
if( match("tex",Language)>0) {
print "\\section{" section_head "}";
# printf(" \\input{%s_%s.%s}\n", system_name, Representation, Language);
command = sprintf("cat %s_%s.%s", system_name, Representation, Language);
system(command); }
# text files
if( match("txt r m c",Language)>0) {
print "\\section{" section_head "}";
print " \\begin{verbatim}";
command = sprintf("cat %s_%s.%s", system_name, Representation, Language);
system(command);
print " \\end{verbatim}";
|