Overview
| Comment: | Fix _ prob in section headers. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
575ee17dfda923cee2a0debba1a5f61a |
| User & Date: | gawthrop@users.sourceforge.net on 2003-08-19 15:40:25.000 |
| Other Links: | branch diff | manifest | tags |
Context
|
2003-08-19
| ||
| 15:44:55 | Updated for new MTT check-in: e7296f7eec user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 15:40:25 | Fix _ prob in section headers. check-in: 575ee17dfd user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 14:20:38 |
Version 5.0 of MTT Remove xref errors (spurious spaces) check-in: 11672962e8 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/rep_txt2tex
from [17d116e471]
to [cbc682d2ae].
| ︙ | |||
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, 1996. ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ ## Revision 1.5 2003/08/19 13:10:47 gawthrop ## More arg stuff ## ## Revision 1.4 2002/05/09 16:07:54 gawthrop ## Now handles multiple options whis .tex files as well ## ## Revision 1.3 2002/05/01 14:07:05 gawthrop ## Added -dr foo (reads files from foo) dir. ## ## Revision 1.2 2002/04/28 18:55:03 geraint |
| ︙ | |||
188 189 190 191 192 193 194 195 196 197 198 199 200 201 | 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 | + |
if (length(__Args)==0){
__Args = "-noargs";
header_args = "";
}
else {
header_args = __Args;
gsub("-", " -", header_args);
gsub(/_/, "\\_", header_args);
header_args = sprintf("(%s)", header_args);
}
print "%%" __Args "%%"
# print "DEBUG", Language, args, _Args, __Args
RepLang = sprintf("%s%s.%s", Representation, __Args, Language);
SysRepLang = sprintf("%s_%s", System, RepLang);
|
| ︙ |