Overview
| Comment: | Explicit include of tex files 'cos latex2html prefers this! |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
7ecc19cbc595920e46a7152f89edc2d4 |
| User & Date: | gawthrop@users.sourceforge.net on 1997-05-19 16:43:34 |
| Other Links: | branch diff | manifest | tags |
Context
|
1997-05-19
| ||
| 16:44:12 | Many changes to get rep.html mode working properly. check-in: 59517f7fd3 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 16:43:34 | Explicit include of tex files 'cos latex2html prefers this! check-in: 7ecc19cbc5 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 16:11:10 | Modified section headers. check-in: 9e64454efa user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/awk/rep_txt2tex.awk from [739ace3126] to [efe4a97522].
| ︙ | ︙ | |||
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 |
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 "}";
| | < > > | 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}";
|
| ︙ | ︙ |