headers and also at some headers.
4 |
5 | $h0 = "H0";
6 | $h1 = "H1";
7 | $h2 = "H2";
8 |
9 | # Parse options
10 |
11 | option:
12 | while(1) {
13 | $_ = $ARGV[0];
14 | if (/^-([0-9]+)$/) {
15 | $split2[$1] = 1;
16 | }
17 | elsif (/^-article/) {
18 | $h0 = "H1";
19 | $h1 = "H2";
20 | $h2 = "H3";
21 | }
22 | else {
23 | last option;
24 | }
25 | shift(@ARGV);
26 | }
27 |
28 | $infile = $ARGV[0];
29 |
30 | # Find URL's for the links
31 |
32 | $level0 = 0;
33 | $level1 = 0;
34 | $uselabel = 1;
35 | open(INPUT, $infile);
36 | while() {
37 | if (m|^<$h0>(.*)|o) {
38 | $level0++;
39 | $currfile = "node" . ($level1 + 1) . ".html";
40 | $lblnum = $level0;
41 | $uselabel = 0;
42 | }
43 | if (m|^<$h1>(.*)|o) {
44 | $level1++;
45 | $level2 = 0;
46 | $currfile = "node$level1.html";
47 | $lblnum = $level1;
48 | $uselabel = 1;
49 | }
50 | if (m|^<$h2>(.*)|o) {
51 | $level2++;
52 | if ($split2[$level1]) { $currfile = "node$level1.$level2.html"; }
53 | $lblnum = "$level1.$level2";
54 | }
55 | s||do set_url($1)|ige;
56 | }
57 |
58 | sub set_url {
59 | local ($lbl) = @_;
60 | if ($uselabel) {
61 | $url{$lbl} = "$currfile#$lbl";
62 | } else {
63 | $url{$lbl} = $currfile;
64 | }
65 | $label{$lbl} = $lblnum;
66 | }
67 |
68 | # Cut the file
69 |
70 | $level1 = 0;
71 | open(INPUT, $infile);
72 | while() {
73 | if (m|^<$h0>(.*)|o) {
74 | if ($level2 > 0) { print FILE1 "\n"; }
75 | select(STDOUT);
76 | if ($level1 >= 1) { print ""; }
77 | print "<$h2>$1\n";
78 | if ($level1 >= 1) { print ""; }
79 | next;
80 | }
81 | if (m|^<$h1>(.*)|o) {
82 | if ($level2 > 0) { print FILE1 "
\n"; }
83 | $level1++;
84 | $level2 = 0;
85 | select(STDOUT);
86 | if ($level1 == 1) { print "
\n"; }
87 | print "- $1\n";
88 | open(FILE1, "> node$level1.html");
89 | select(FILE1);
90 | &print_title($1);
91 | }
92 | if ($split2[$level1] && m|^<$h2>(.*)|o) {
93 | $level2++;
94 | select(FILE1);
95 | if ($level2 == 1) { print "
\n"; }
96 | print "- $1\n";
97 | open(FILE2, "> node$level1.$level2.html");
98 | select(FILE2);
99 | &print_title($1);
100 | }
101 | s|X|'' . $label{$1} . ''|ige;
102 | print $_;
103 | }
104 | select(STDOUT);
105 | if ($level1 >= 1) { print "
\n"; }
106 |
107 | sub print_title {
108 | local ($title) = @_;
109 | $title =~ s|<[a-zA-Z/]+>||g;
110 | print "$title \n";
111 | }
112 |
--------------------------------------------------------------------------------
/tools/htmlquote.c:
--------------------------------------------------------------------------------
1 | #include
2 | #include
3 |
4 | #define LINE_LENGTH 1024
5 |
6 | char line[LINE_LENGTH];
7 |
8 | int isprefix(s, pref)
9 | char * s;
10 | char * pref;
11 | {
12 | while (1) {
13 | if (*pref == 0) return 1;
14 | if (*s == 0) return 0;
15 | if (*s != *pref) return 0;
16 | s++;
17 | pref++;
18 | }
19 | }
20 |
21 | int main(argc, argv)
22 | int argc;
23 | char * argv [];
24 | {
25 | unsigned char * p;
26 | int c;
27 | int inquote;
28 | int inverb;
29 | int inverbatim;
30 |
31 | inverbatim = 0;
32 | inquote = 0;
33 |
34 | while(fgets(line, LINE_LENGTH, stdin) != NULL) {
35 | if (inverbatim) {
36 | fputs(line, stdout);
37 | if (isprefix(line, "\\end{verbatim")
38 | || isprefix(line, "\\end{alltt}")) inverbatim = 0;
39 | continue;
40 | }
41 | if (isprefix(line, "\\begin{verbatim")
42 | || isprefix(line, "\\begin{alltt}")) {
43 | fputs(line, stdout);
44 | inverbatim = 1;
45 | continue;
46 | }
47 | inverb = 0;
48 | for (p = (unsigned char *) line; *p != 0; p++) {
49 | c = *p;
50 | if (inverb) {
51 | if (c == inverb) inverb = 0;
52 | putchar(c);
53 | continue;
54 | }
55 | switch(c) {
56 | case '"':
57 | if (inquote) {
58 | fputs("\001", stdout);
59 | inquote = 0;
60 | } else {
61 | fputs("\\verb\001", stdout);
62 | inquote = 1;
63 | }
64 | break;
65 | case '\\':
66 | if (isprefix(p, "\\verb") && p[5] != 0 && !isalpha(p[5])) {
67 | inverb = p[5];
68 | p = p + 5;
69 | fputs("\\verb", stdout);
70 | putchar(inverb);
71 | } else if (inquote) {
72 | if (p[1] == '"' || p[1] == '\\') {
73 | c = p[1];
74 | p++;
75 | }
76 | putchar(c);
77 | } else {
78 | putchar('\\');
79 | }
80 | break;
81 | default:
82 | putchar(c);
83 | }
84 | }
85 | }
86 | return 0;
87 | }
88 |
--------------------------------------------------------------------------------
/tools/htmltbl:
--------------------------------------------------------------------------------
1 | #!/usr/local/bin/perl
2 |
3 | while (<>) {
4 | if (m|^ ]|) {
5 | while (! m|$|) { $_ .= <>; }
6 | s/\n//g;
7 | print "\n";
8 | do format_table($_);
9 | print "
\n";
10 | } else {
11 | print $_;
12 | }
13 | }
14 |
15 | sub format_table {
16 | # On input, $_ contains:
17 | # Header 1 Header2 ... Header M
18 | # Data11 Data12 ... Data1M
19 | # ...
20 | # DataN1 DataN2 ... DataNM
21 | #
22 |
23 | # Extract the entries and compute the number of lines and columns
24 |
25 | $numlines = 0;
26 | $numcols = 0;
27 | $border = 0;
28 | $header = 0;
29 | $x = 0;
30 | $y = 0;
31 | foreach $_ (split(/(|| | |<\/tbl>)/, $_)) {
32 | if (/^$/) { next; }
33 | elsif (//) { $border = 1; }
34 | elsif (//i) {
35 | if ($x > $numcols) { $numcols = $x; }
36 | $x = 0;
37 | $y++;
38 | }
39 | elsif (//) { $header = 1; }
40 | elsif (!/(|| | |<\/tbl>)/) {
41 | s|||g; # Remove embedded tags
42 | s/^\s*//; # and initial blanks
43 | s/\s*$//; # and final blanks
44 | s/\s\s\s*/ /g; # and extra blanks
45 | s/<//g;
47 | s/&/&/g;
48 | $entry{$x, $y} = $_;
49 | $x++;
50 | }
51 | }
52 | $numlines = $y;
53 |
54 | # Compute the max width of each column
55 |
56 | $totalwidth = 0;
57 |
58 | for ($x = 0; $x < $numcols; $x++) {
59 | $max = 0;
60 | for ($y = 0; $y < $numlines; $y++) {
61 | $len = length($entry{$x, $y});
62 | if ($len > $max) { $max = $len; }
63 | }
64 | $width[$x] = $max;
65 | $totalwidth += $max;
66 | }
67 |
68 | # If it does not fit in one line, turn wide fields into multi-line fields
69 |
70 | if ($totalwidth >= 65) {
71 | $totalwidth = 0;
72 | $maxwidth = 65 / $numcols;
73 | for ($x = 0; $x < $numcols; $x++) {
74 | if ($width[$x] > $maxwidth) {
75 | if ($x < $numcols - 1) {
76 | $width[$x] = $maxwidth;
77 | } else {
78 | $width[$x] = 70 - $totalwidth;
79 | }
80 | }
81 | $totalwidth += $width[$x];
82 | }
83 | }
84 |
85 | # Compute the separators
86 |
87 | if ($border) {
88 | $horsep = '+-';
89 | for ($x = 0; $x < $numcols; $x++) {
90 | if ($x > 0) { $horsep .= '-+-'; }
91 | $horsep .= '-' x $width[$x];
92 | }
93 | $horsep .= '-+';
94 | $verleft = '| ';
95 | $versep = ' | ';
96 | $verright = ' |';
97 | } else {
98 | $horsep = '';
99 | $verleft = ' ';
100 | $versep = ' ';
101 | $verright = ' ';
102 | }
103 |
104 | # Print the table
105 | print $horsep, "\n";
106 | for ($y = 0; $y < $numlines; $y++) {
107 | do {
108 | $overflow = 0;
109 | print $verleft;
110 | for ($x = 0; $x < $numcols; $x++) {
111 | if ($x > 0) { print $versep; }
112 | $_ = $entry{$x, $y};
113 | if (length($_) > $width[$x]) {
114 | $pos = rindex($_, ' ', $width[$x]);
115 | if ($pos < 0) { $pos = $width[$x]; } else { $pos++; }
116 | $entry{$x, $y} = substr($_, $pos);
117 | $_ = substr($_, 0, $pos - 1);
118 | $overflow = 1;
119 | } else {
120 | $entry{$x, $y} = '';
121 | }
122 | $len = length($_);
123 | s/&/&/g;
124 | s//>/g;
126 | print $_, ' ' x ($width[$x] - $len);
127 | }
128 | print $verright, "\n";
129 | } while($overflow);
130 | if ($header && $y == 0) { print $horsep, "\n"; }
131 | }
132 | print $horsep, "\n";
133 | }
134 |
135 |
--------------------------------------------------------------------------------
/tools/htmlthread:
--------------------------------------------------------------------------------
1 | #!/usr/local/bin/perl
2 | # Insert Next/Previous/Contents buttons in a set of pages.
3 |
4 | @pages = sort fragmentorder @ARGV;
5 |
6 | sub fragmentorder {
7 | $a =~ /^node([0-9]+)/; $na = $1;
8 | if ($a =~ /^node[0-9]+\.([0-9]+)\.html/) { $fa = $1; } else { $fa = 0; }
9 | $b =~ /^node([0-9]+)/; $nb = $1;
10 | if ($b =~ /^node[0-9]+\.([0-9]+)\.html/) { $fb = $1; } else { $fb = 0; }
11 | return (($na <=> $nb) || ($fa <=> $fb));
12 | }
13 |
14 | for ($i = 0; $i <= $#pages; $i++) {
15 | open(SRC, $pages[$i]);
16 | open(DST, "> newpage.html");
17 | select(DST);
18 | $_ = ; # Title line
19 | print "\n";
20 | print $_;
21 | do links();
22 | print "\n";
23 | print "\n";
24 | do buttons();
25 | print "
\n";
26 | $numlines = 0;
27 | while () {
28 | $numlines++;
29 | print $_;
30 | }
31 | if ($numlines >= 40) {
32 | print "
\n";
33 | do buttons();
34 | }
35 | close(SRC);
36 | close(DST);
37 | rename("newpage.html", $pages[$i]);
38 | }
39 |
40 | sub links {
41 | if ($i > 0) {
42 | print '\n";
43 | }
44 | if ($i < $#pages) {
45 | print '\n";
46 | }
47 | print "\n";
48 | }
49 |
50 | sub buttons {
51 | if ($i > 0) {
52 | print '
', "\n";
53 | }
54 | if ($i < $#pages) {
55 | print '
', "\n";
56 | }
57 | print '
', "\n";
58 | }
59 |
--------------------------------------------------------------------------------
/tools/htmltransf.mll:
--------------------------------------------------------------------------------
1 | {
2 | open Lexing;;
3 |
4 | let need_space =
5 | ref false;;
6 |
7 | let addspace () =
8 | if !need_space then begin print_char ' '; need_space := false end;;
9 | }
10 |
11 | rule main = parse
12 | "\\begin{syntax}" {
13 | print_string "\\begin{rawhtml}\n\n";
14 | need_space := false;
15 | syntax lexbuf;
16 | print_string "
\n\\end{rawhtml}\n";
17 | main lexbuf }
18 | | "\\@" {
19 | print_string "@";
20 | main lexbuf }
21 | | "@" {
22 | print_string "%\n\\begin{rawhtml}";
23 | need_space := false;
24 | syntax lexbuf;
25 | print_string "\\end{rawhtml}%\n";
26 | main lexbuf }
27 | | _ {
28 | print_char (lexeme_char lexbuf 0); main lexbuf }
29 | | eof {
30 | () }
31 |
32 | and syntax = parse
33 | "\\end{syntax}" { () }
34 | | "@" { () }
35 | | '\'' {
36 | addspace();
37 | print_string "";
38 | inquote lexbuf;
39 | print_string "";
40 | need_space := true;
41 | syntax lexbuf }
42 | | '\"' {
43 | addspace();
44 | print_string "";
45 | indoublequote lexbuf;
46 | print_string "";
47 | need_space := true;
48 | syntax lexbuf }
49 | | ['a'-'z'] ['a'-'z' '0'-'9' '-'] * {
50 | addspace();
51 | print_string "";
52 | print_string (lexeme lexbuf);
53 | print_string "";
54 | need_space := true;
55 | syntax lexbuf }
56 | | '\\' ['a'-'z''A'-'Z'] + {
57 | begin match lexeme lexbuf with
58 | "\\ldots" -> print_string "..."; need_space := false
59 | | s -> Printf.eprintf "Warning: %s ignored.\n" s
60 | end;
61 | syntax lexbuf }
62 | | '_' _ {
63 | print_string "";
64 | print_char(lexeme_char lexbuf 1);
65 | print_string "";
66 | syntax lexbuf }
67 | | '^' _ {
68 | print_string "";
69 | print_char(lexeme_char lexbuf 1);
70 | print_string "";
71 | syntax lexbuf }
72 | | ":" {
73 | print_string ":\n ";
74 | need_space := false;
75 | syntax lexbuf }
76 | | "|" {
77 | print_string "\n | ";
78 | need_space := false;
79 | syntax lexbuf }
80 | | ";" {
81 | print_string "\n\n";
82 | need_space := false;
83 | syntax lexbuf }
84 | | [ '{' '[' '('] {
85 | addspace(); print_string (lexeme lexbuf); syntax lexbuf }
86 | | [ '}' ']' ')'] {
87 | print_string (lexeme lexbuf); syntax lexbuf }
88 | | "{{" {
89 | addspace(); print_string "{"; syntax lexbuf }
90 | | "}}" {
91 | print_string "}+"; syntax lexbuf }
92 | | "||" {
93 | print_string " | "; need_space := false; syntax lexbuf }
94 | | [ ' ' '\n' '\t' '~'] {
95 | syntax lexbuf }
96 | | [ ',' ] {
97 | print_char(lexeme_char lexbuf 0); syntax lexbuf }
98 | | _ {
99 | Printf.eprintf "Warning: %s ignored at char %d.\n"
100 | (lexeme lexbuf) (lexeme_start lexbuf);
101 | syntax lexbuf }
102 |
103 | and inquote = parse
104 | '\'' { () }
105 | | '&' { print_string "&"; inquote lexbuf }
106 | | '<' { print_string "<"; inquote lexbuf }
107 | | '>' { print_string ">"; inquote lexbuf }
108 | | _ { print_char (lexeme_char lexbuf 0); inquote lexbuf }
109 |
110 | and indoublequote = parse
111 | '"' { () }
112 | | '&' { print_string "&"; indoublequote lexbuf }
113 | | '<' { print_string "<"; indoublequote lexbuf }
114 | | '>' { print_string ">"; indoublequote lexbuf }
115 | | _ { print_char (lexeme_char lexbuf 0); indoublequote lexbuf }
116 |
117 |
118 |
--------------------------------------------------------------------------------
/tools/latexmacros.ml:
--------------------------------------------------------------------------------
1 | type action =
2 | Print of string
3 | | Print_arg
4 | | Skip_arg;;
5 |
6 | let cmdtable = (Hashtbl.create 19 : (string, action list) Hashtbl.t);;
7 |
8 | let def_macro name action =
9 | Hashtbl.add cmdtable name action;;
10 |
11 | let find_macro name =
12 | try
13 | Hashtbl.find cmdtable name
14 | with Not_found ->
15 | prerr_string "Unknown macro: "; prerr_endline name; [];;
16 |
17 | (* General LaTeX macros *)
18 |
19 | def_macro "\\part"
20 | [Print ""; Print_arg; Print " \n"];
21 | def_macro "\\chapter"
22 | [Print ""; Print_arg; Print "
\n"];
23 | def_macro "\\chapter*"
24 | [Print ""; Print_arg; Print "
\n"];
25 | def_macro "\\section"
26 | [Print ""; Print_arg; Print "
\n"];
27 | def_macro "\\section*"
28 | [Print ""; Print_arg; Print "
\n"];
29 | def_macro "\\subsection"
30 | [Print ""; Print_arg; Print "
\n"];
31 | def_macro "\\subsection*"
32 | [Print ""; Print_arg; Print "
\n"];
33 | def_macro "\\subsubsection"
34 | [Print ""; Print_arg; Print "
\n"];
35 | def_macro "\\subsubsection*"
36 | [Print ""; Print_arg; Print "
\n"];
37 | def_macro "\\paragraph"
38 | [Print ""; Print_arg; Print " \n"];
39 | def_macro "\\begin{alltt}" [Print ""];
40 | def_macro "\\end{alltt}" [Print ""];
41 | def_macro "\\begin{itemize}" [Print ""];
42 | def_macro "\\end{itemize}" [Print "
"];
43 | def_macro "\\begin{enumerate}" [Print ""];
44 | def_macro "\\end{enumerate}" [Print "
"];
45 | def_macro "\\begin{description}" [Print ""];
46 | def_macro "\\end{description}" [Print "
"];
47 | def_macro "\\begin{center}" [Print ""];
48 | def_macro "\\end{center}" [Print "
"];
49 | def_macro "\\begin{quote}" [Print ""];
50 | def_macro "\\end{quote}" [Print "
"];
51 | def_macro "\\begin{quotation}" [Print ""];
52 | def_macro "\\end{quotation}" [Print "
"];
53 | def_macro "\\smallskip" [];
54 | def_macro "\\medskip" [];
55 | def_macro "\\bigskip" [];
56 | def_macro "\\markboth" [Skip_arg; Skip_arg];
57 | def_macro "\\ldots" [Print "..."];
58 | def_macro "\\ " [Print " "];
59 | def_macro "\\{" [Print "{"];
60 | def_macro "\\}" [Print "}"];
61 | def_macro "\\%" [Print "%"];
62 | def_macro "\\$" [Print "$"];
63 | def_macro "\\#" [Print "#"];
64 | def_macro "\\/" [];
65 | def_macro "\\newpage" [];
66 | def_macro "\\label" [Print ""];
67 | def_macro "\\ref" [Print "X"];
68 | def_macro "\\pageref" [Print "X"];
69 | def_macro "\\index" [Skip_arg];
70 | def_macro "\\oe" [Print "oe"];
71 | def_macro "\\&" [Print "&"];
72 | def_macro "\\_" [Print "_"];
73 | def_macro "\\leq" [Print "<="];
74 | def_macro "\\geq" [Print ">="];
75 | def_macro "\\hbox" [Print_arg];
76 | def_macro "\\copyright" [Print "\169"];
77 | def_macro "\\noindent" [];
78 | def_macro "\\begin{flushleft}" [Print ""];
79 | def_macro "\\end{flushleft}" [Print "
"];
80 | def_macro "\\\\" [Print "
"];
81 | def_macro "\\begin{htmlonly}" [];
82 | def_macro "\\end{htmlonly}" [];
83 | ();;
84 |
85 | (* Macros specific to the Caml manual *)
86 |
87 | def_macro "\\begin{options}" [Print ""];
88 | def_macro "\\end{options}" [Print "
"];
89 | def_macro "\\var" [Print ""; Print_arg; Print ""];
90 | def_macro "\\optvar" [Print "["; Print_arg; Print "]"];
91 | def_macro "\\nth" [Print ""; Print_arg;
92 | Print ""; Print_arg; Print ""];
93 | def_macro "\\nmth" [Print ""; Print_arg;
94 | Print ""; Print_arg;
95 | Print ""; Print_arg;
96 | Print ""];
97 | def_macro "\\begin{unix}" [Print "- Unix:
- "];
98 | def_macro "\\end{unix}" [Print "
"];
99 | def_macro "\\begin{macos}" [Print "- MacOS:
- "];
100 | def_macro "\\end{macos}" [Print "
"];
101 | def_macro "\\begin{windows}" [Print "- Windows:
- "];
102 | def_macro "\\end{windows}" [Print "
"];
103 | def_macro "\\begin{requirements}" [Print "- Requirements:
- "];
104 | def_macro "\\end{requirements}" [Print "
"];
105 | def_macro "\\begin{troubleshooting}" [Print "- Troubleshooting:
- "];
106 | def_macro "\\end{troubleshooting}" [Print "
"];
107 | def_macro "\\begin{installation}" [Print "- Installation:
- "];
108 | def_macro "\\end{installation}" [Print "
"];
109 | def_macro "\\index" [Skip_arg];
110 | def_macro "\\ikwd" [Skip_arg];
111 | def_macro "\\th" [Print "-th"];
112 | def_macro "\\begin{library}" [];
113 | def_macro "\\end{library}" [];
114 | def_macro "\\begin{comment}" [Print "- "];
115 | def_macro "\\end{comment}" [Print "
"];
116 | def_macro "\\begin{tableau}"
117 | [Skip_arg;
118 | Print "\n";
119 | Print_arg;
120 | Print " ";
121 | Print_arg;
122 | Print " "; Print_arg;
125 | Print " "; Print_arg; Print "
"];
127 | def_macro "\\begin{gcrule}" [Print "- Rule:
- "];
128 | def_macro "\\end{gcrule}" [Print "
"];
129 | def_macro "\\begin{tableauoperateurs}"
130 | [Print "\nOperator Associated ident Behavior in the default environment
\n"];
132 | def_macro "\\entreeoperateur"
133 | [Print ""; Print_arg; Print " "; Print_arg;
134 | Print " "; Print_arg; Print " "];
139 | def_macro "\\endcaml" [Print "
"];
140 | def_macro "\\<" [Print ""];
141 | def_macro "\\>" [Print ""];
142 | def_macro "\\rminalltt" [Print_arg];
143 | def_macro "\\event" [Print "*"];
144 | def_macro "\\pdfchapter" [Skip_arg];
145 | def_macro "\\pdfchapterfold" [Skip_arg; Skip_arg];
146 | def_macro "\\pdfsection" [Skip_arg];
147 | def_macro "\\transl" [Print "<"; Print_arg; Print ">"];
148 | ();;
149 |
150 |
--------------------------------------------------------------------------------
/tools/latexmacros.mli:
--------------------------------------------------------------------------------
1 | type action =
2 | Print of string
3 | | Print_arg
4 | | Skip_arg;;
5 |
6 | val find_macro: string -> action list;;
7 |
8 | val def_macro: string -> action list -> unit;;
9 |
--------------------------------------------------------------------------------
/tools/latexmain.ml:
--------------------------------------------------------------------------------
1 | let main () =
2 | Latexscan.main (Lexing.from_channel stdin);;
3 |
4 | Printexc.print main (); exit 0;;
5 |
--------------------------------------------------------------------------------
/tools/latexscan.mll:
--------------------------------------------------------------------------------
1 | {
2 | open Lexing;;
3 | open Latexmacros;;
4 |
5 | let delimiter = ref (char_of_int 0);;
6 |
7 | let upto delim lexfun lexbuf =
8 | let old_delim = !delimiter in
9 | delimiter := delim;
10 | lexfun lexbuf;
11 | delimiter := old_delim;;
12 |
13 | let verb_delim = ref (char_of_int 0);;
14 |
15 | let brace_nesting = ref 0;;
16 |
17 | let rindex c s =
18 | let rec find i =
19 | if i < 0 then raise Not_found else
20 | if s.[i] = c then i else find (i-1) in
21 | find (String.length s - 1);;
22 |
23 | let first_caml_line = ref true;;
24 | let in_caml = ref false;;
25 | }
26 |
27 | rule main = parse
28 | (* Comments *)
29 | '%' [^ '\n'] * '\n' { main lexbuf }
30 | (* Paragraphs *)
31 | | "\n\n" '\n' *
32 | { print_string "\n"; main lexbuf }
33 | (* Font changes *)
34 | | "{\\it" " "* | "{\\em" " "*
35 | { print_string ""; upto '}' main lexbuf;
36 | print_string ""; main lexbuf }
37 | | "{\\bf" " "* { print_string ""; upto '}' main lexbuf;
38 | print_string ""; main lexbuf }
39 | | "{\\rm" " "* { print_string ""; upto '}' main lexbuf;
40 | print_string ""; main lexbuf }
41 | | "{\\tt" " "* { print_string ""; upto '}' main lexbuf;
42 | print_string ""; main lexbuf }
43 | | '"' { print_string ""; indoublequote lexbuf;
44 | print_string ""; main lexbuf }
45 | (* Verb, verbatim *)
46 | | "\\verb" _ { verb_delim := lexeme_char lexbuf 5;
47 | print_string ""; inverb lexbuf; print_string "";
48 | main lexbuf }
49 | | "\\begin{verbatim}"
50 | { print_string "
"; inverbatim lexbuf;
51 | print_string "
"; main lexbuf }
52 | (* Caml programs *)
53 | | "\\caml"
54 | { print_string "";
55 | first_caml_line := true; in_caml := false;
56 | camlprog lexbuf; print_string "
"; main lexbuf }
57 | (* Raw html, latex only *)
58 | | "\\begin{rawhtml}"
59 | { rawhtml lexbuf; main lexbuf }
60 | | "\\begin{latexonly}"
61 | { latexonly lexbuf; main lexbuf }
62 | (* Itemize and similar environments *)
63 | | "\\item[" { print_string "- "; upto ']' main lexbuf;
64 | print_string "
- "; main lexbuf }
65 | | "\\item" { print_string "
- "; main lexbuf }
66 | (* Math mode (hmph) *)
67 | | "$" { main lexbuf }
68 | (* Special characters *)
69 | | "\\char" ['0'-'9']+
70 | { let lxm = lexeme lexbuf in
71 | let code = String.sub lxm 5 (String.length lxm - 5) in
72 | print_char(char_of_int(int_of_string code));
73 | main lexbuf }
74 | | "<" { print_string "<"; main lexbuf }
75 | | ">" { print_string ">"; main lexbuf }
76 | | "~" { print_string " "; main lexbuf }
77 | (* Definitions of very simple macros *)
78 | | "\\def\\" (['A'-'Z' 'a'-'z']+ | [^ 'A'-'Z' 'a'-'z']) "{" [^ '{' '}']* "}"
79 | { let s = lexeme lexbuf in
80 | let l = String.length s in
81 | let p = rindex '{' s in
82 | let name = String.sub s 4 (p - 4) in
83 | let expansion = String.sub s (p + 1) (l - p - 2) in
84 | def_macro name [Print expansion];
85 | main lexbuf }
86 | (* General case for environments and commands *)
87 | | ("\\begin{" | "\\end{") ['A'-'Z' 'a'-'z']+ "}" |
88 | "\\" (['A'-'Z' 'a'-'z']+ '*'? | [^ 'A'-'Z' 'a'-'z'])
89 | { let exec_action = function
90 | Print str -> print_string str
91 | | Print_arg -> print_arg lexbuf
92 | | Skip_arg -> skip_arg lexbuf in
93 | List.iter exec_action (find_macro(lexeme lexbuf));
94 | main lexbuf }
95 | (* Default rule for other characters *)
96 | | eof { () }
97 | | _ { let c = lexeme_char lexbuf 0 in
98 | if c == !delimiter then () else (print_char c; main lexbuf) }
99 |
100 | and indoublequote = parse
101 | '"' { () }
102 | | "<" { print_string "<"; indoublequote lexbuf }
103 | | ">" { print_string ">"; indoublequote lexbuf }
104 | | "&" { print_string "&"; indoublequote lexbuf }
105 | | "\\\"" { print_string "\""; indoublequote lexbuf }
106 | | "\\\\" { print_string "\\"; indoublequote lexbuf }
107 | | _ { print_char(lexeme_char lexbuf 0); indoublequote lexbuf }
108 |
109 | and inverb = parse
110 | "<" { print_string "<"; inverb lexbuf }
111 | | ">" { print_string ">"; inverb lexbuf }
112 | | "&" { print_string "&"; inverb lexbuf }
113 | | _ { let c = lexeme_char lexbuf 0 in
114 | if c == !verb_delim then ()
115 | else (print_char c; inverb lexbuf) }
116 | and inverbatim = parse
117 | "<" { print_string "<"; inverbatim lexbuf }
118 | | ">" { print_string ">"; inverbatim lexbuf }
119 | | "&" { print_string "&"; inverbatim lexbuf }
120 | | "\\end{verbatim}" { () }
121 | | _ { print_char(lexeme_char lexbuf 0); inverbatim lexbuf }
122 |
123 | and camlprog = parse
124 | "<" { print_string "<"; camlprog lexbuf }
125 | | ">" { print_string ">"; camlprog lexbuf }
126 | | "&" { print_string "&"; camlprog lexbuf }
127 | | "\\?" { if !first_caml_line then begin
128 | print_string "# ";
129 | first_caml_line := false
130 | end else
131 | print_string " ";
132 | in_caml := true;
133 | camlprog lexbuf }
134 | | "\\:" { print_string "";
135 | in_caml := true;
136 | camlprog lexbuf }
137 | | "\\;" { first_caml_line := true; camlprog lexbuf }
138 | | "\\\\" { print_string "\\"; camlprog lexbuf }
139 | | "\\endcaml" { () }
140 | | "\n" { if !in_caml then begin
141 | print_string "";
142 | in_caml := false
143 | end;
144 | print_char '\n';
145 | camlprog lexbuf }
146 | | _ { print_char(lexeme_char lexbuf 0); camlprog lexbuf }
147 |
148 | and rawhtml = parse
149 | "\\end{rawhtml}" { () }
150 | | _ { print_char(lexeme_char lexbuf 0); rawhtml lexbuf }
151 |
152 | and latexonly = parse
153 | "\\end{latexonly}" { () }
154 | | _ { latexonly lexbuf }
155 |
156 | and print_arg = parse
157 | [' ' '\n'] * "{" { upto '}' main lexbuf }
158 | | _ { print_char(lexeme_char lexbuf 0); rawhtml lexbuf }
159 |
160 | and skip_arg = parse
161 | "{" { incr brace_nesting; skip_arg lexbuf }
162 | | "}" { decr brace_nesting;
163 | if !brace_nesting > 0 then skip_arg lexbuf }
164 | | _ { skip_arg lexbuf }
165 |
166 |
167 |
--------------------------------------------------------------------------------
/tools/texexpand:
--------------------------------------------------------------------------------
1 | #!/usr/local/bin/perl
2 | # Expand \input commands
3 |
4 | @path = split(/:/, $ENV{'TEXINPUTS'});
5 |
6 | while(<>) {
7 | if (/^\\input\s*([^\s]*)/) {
8 | do expand($1);
9 | } else {
10 | print $_;
11 | }
12 | }
13 |
14 | sub expand {
15 | local ($filename) = @_;
16 | local (*INPUT);
17 | $filename =~ s/\.tex$//;
18 | $filename = do find_in_path($filename);
19 | open(INPUT, $filename) || (warn("cannot find $filename"), return);
20 | print "%%% $filename\n";
21 | while() {
22 | if (/^\\input\s*([^\s]*)/) {
23 | do expand($1);
24 | } else {
25 | print $_;
26 | }
27 | }
28 | close(INPUT);
29 | }
30 |
31 | sub find_in_path {
32 | local ($name) = @_;
33 | local ($dir);
34 | foreach $dir (@path) {
35 | return "$dir/$name.htex" if (-f "$dir/$name.htex");
36 | return "$dir/$name.tex" if (-f "$dir/$name.tex");
37 | }
38 | return $name;
39 | }
40 |
41 |
--------------------------------------------------------------------------------
/tools/texquote2.c:
--------------------------------------------------------------------------------
1 | #include
2 | #include
3 |
4 | char * transl[256];
5 |
6 | #define LINE_LENGTH 1024
7 |
8 | char line[LINE_LENGTH];
9 |
10 | int isprefix(s, pref)
11 | char * s;
12 | char * pref;
13 | {
14 | while (1) {
15 | if (*pref == 0) return 1;
16 | if (*s == 0) return 0;
17 | if (*s != *pref) return 0;
18 | s++;
19 | pref++;
20 | }
21 | }
22 |
23 | int main(argc, argv)
24 | int argc;
25 | char * argv [];
26 | {
27 | unsigned char * p;
28 | int c;
29 | int inquote;
30 | int inverb;
31 | int inverbatim_like;
32 | int incaml;
33 | int inverbatim = 0;
34 | char *verbatim_end_in = "";
35 | char *verbatim_end_out = "";
36 |
37 | for (c = 0; c < 256; c++) transl[c] = NULL;
38 | #ifdef TIE_BLANKS
39 | transl[' '] = "~";
40 | transl['\n'] = "~";
41 | #else
42 | transl[' '] = "\\ ";
43 | transl['\n'] = "\\ ";
44 | #endif
45 | transl['{'] = "{\\char123}";
46 | transl['}'] = "{\\char125}";
47 | transl['^'] = "{\\char94}";
48 | transl['_'] = "{\\char95}";
49 | transl['\\'] = "{\\char92}";
50 | transl['~'] = "{\\char126}";
51 | transl['$'] = "\\$";
52 | transl['&'] = "{\\char38}";
53 | transl['#'] = "\\#";
54 | transl['%'] = "\\%";
55 | transl['\''] = "{\\textquotesingle}";
56 | transl['`'] = "{\\textasciigrave}";
57 | inverbatim_like = 0;
58 | incaml = 0;
59 | inquote = 0;
60 | inverbatim = 0;
61 |
62 | puts ("% THIS FILE IS GENERATED.\n");
63 |
64 | while(fgets(line, LINE_LENGTH, stdin) != NULL) {
65 | if (inverbatim_like) {
66 | fputs(line, stdout);
67 | if (isprefix(line, "\\end{caml_")
68 | || isprefix(line, "\\end{rawhtml}")) inverbatim_like = 0;
69 | continue;
70 | }
71 | if (incaml) {
72 | fputs(line, stdout);
73 | if (isprefix(line, "\\endcaml")) incaml = 0;
74 | continue;
75 | }
76 | if (inverbatim){
77 | if (isprefix (line, verbatim_end_in)){
78 | fputs (verbatim_end_out, stdout);
79 | inverbatim = 0;
80 | }else{
81 | for (p = (unsigned char *) line; *p != 0; p++){
82 | c = *p;
83 | if (c == ' ' || c == '\n' || transl[c] == NULL){
84 | putchar (c);
85 | }else{
86 | fputs (transl[c], stdout);
87 | }
88 | }
89 | }
90 | continue;
91 | }
92 | if (isprefix(line, "\\begin{caml_")
93 | || isprefix(line, "\\begin{rawhtml}")) {
94 | fputs(line, stdout);
95 | inverbatim_like = 1;
96 | continue;
97 | }
98 | if (isprefix(line, "\\caml")) {
99 | fputs(line, stdout);
100 | incaml = 1;
101 | continue;
102 | }
103 | if (isprefix (line, "\\begin{verbatim}")){
104 | fputs ("\\begin{machineenv}", stdout);
105 | inverbatim = 1;
106 | verbatim_end_in = "\\end{verbatim}";
107 | verbatim_end_out = "\\end{machineenv}";
108 | continue;
109 | }
110 | if (isprefix (line, "\\begin{ocamldoccode}")){
111 | fputs ("\\begin{ocamldoccode}", stdout);
112 | inverbatim = 1;
113 | verbatim_end_in = "\\end{ocamldoccode}";
114 | verbatim_end_out = "\\end{ocamldoccode}";
115 | continue;
116 | }
117 | inverb = 0;
118 | for (p = (unsigned char *) line; *p != 0; p++) {
119 | c = *p;
120 | if (inverb) {
121 | if (c == inverb){
122 | inverb = 0;
123 | }else if (c == '\'' || c == '`'){
124 | fprintf (stderr, "Warning: %c found in \\verb\n", c);
125 | }
126 | putchar(c);
127 | continue;
128 | }
129 | switch(c) {
130 | case '"':
131 | if (inquote) {
132 | fputs("}}", stdout);
133 | inquote = 0;
134 | } else {
135 | fputs("{\\machine{", stdout);
136 | inquote = 1;
137 | }
138 | break;
139 | case '\\':
140 | if (inquote) {
141 | if (p[1] == '"' || p[1] == '\\') {
142 | c = p[1];
143 | p++;
144 | }
145 | if (transl[c] != NULL)
146 | fputs(transl[c], stdout);
147 | else
148 | putchar(c);
149 | } else if (isprefix(p, "\\verb") && p[5] != 0 && !isalpha(p[5])) {
150 | inverb = p[5];
151 | p = p + 5;
152 | fputs("\\verb", stdout);
153 | putchar(inverb);
154 | } else {
155 | putchar('\\');
156 | }
157 | break;
158 | default:
159 | if (inquote && transl[c] != NULL)
160 | fputs(transl[c], stdout);
161 | else
162 | putchar(c);
163 | }
164 | }
165 | }
166 | return 0;
167 | }
168 |
--------------------------------------------------------------------------------
/tools/transf.mll:
--------------------------------------------------------------------------------
1 | {
2 | open Lexing;;
3 | open Printf;;
4 |
5 | let print_char_repr c =
6 | match c with
7 | | '\'' -> printf "{\\textquotesingle}"
8 | | '`' -> printf "{\\textasciigrave}"
9 | | _ -> printf "\\char%d" (int_of_char c);
10 | ;;
11 | }
12 |
13 | rule main = parse
14 | "\\begin{syntax}" {
15 | print_string "\\begin{syntax}";
16 | syntax lexbuf }
17 | | "\\begin{verbatim}" {
18 | print_string "\\begin{verbatim}";
19 | verbatim lexbuf }
20 | | "\\@" {
21 | print_string "@";
22 | main lexbuf }
23 | | "@" {
24 | print_string "\\synt{";
25 | syntax lexbuf }
26 | | _ {
27 | print_char (lexeme_char lexbuf 0); main lexbuf }
28 | | eof {
29 | () }
30 |
31 | and syntax = parse
32 | "\\end{syntax}" {
33 | print_string "\\end{syntax}";
34 | main lexbuf }
35 | | "@" {
36 | print_string "}";
37 | main lexbuf }
38 | | '\'' {
39 | print_string "\\token{";
40 | inquote lexbuf }
41 | | '\"' {
42 | print_string "\\token{";
43 | indoublequote lexbuf }
44 | | "epsilon" { print_string "\\emptystring"; syntax lexbuf }
45 | | ['a'-'z' 'A'-'Z'] ['a'-'z' 'A'-'Z' '0'-'9' '-'] * as lxm {
46 | print_string "\\nonterm{";
47 | print_string lxm ;
48 | print_string"}";
49 | syntax lexbuf }
50 | | '@' (['a'-'z' 'A'-'Z'] ['a'-'z' 'A'-'Z' '0'-'9' '-'] * as lxm) '@' {
51 | print_string "\\nt{";
52 | print_string lxm ;
53 | print_string"}";
54 | syntax lexbuf }
55 |
56 | | '\\' ['a'-'z''A'-'Z'] + {
57 | print_string (lexeme lexbuf);
58 | syntax lexbuf }
59 | | ['_' '^'] _ {
60 | print_string (lexeme lexbuf);
61 | syntax lexbuf }
62 | | "{" { print_string "\\brepet{}"; syntax lexbuf }
63 | | "}" { print_string "\\erepet{}"; syntax lexbuf }
64 | | "{{" { print_string "\\brepets{}"; syntax lexbuf }
65 | | "}}" { print_string "\\erepets{}"; syntax lexbuf }
66 | | "[" { print_string "\\boption{}"; syntax lexbuf }
67 | | "]" { print_string "\\eoption{}"; syntax lexbuf }
68 | | "(" { print_string "\\bparen{}"; syntax lexbuf }
69 | | ")" { print_string "\\eparen{}"; syntax lexbuf }
70 | | "||" { print_string "\\orelse{}"; syntax lexbuf }
71 | | ":" { print_string "\\is{}"; syntax lexbuf }
72 | | "|" { print_string "\\alt{}"; syntax lexbuf }
73 | | ";" { print_string "\\sep{}"; syntax lexbuf }
74 | | "\\\\" { print_string "\\cutline{}"; syntax lexbuf }
75 | | _ {
76 | print_char (lexeme_char lexbuf 0);
77 | syntax lexbuf }
78 |
79 | and inquote = parse
80 | ['A'-'Z' 'a'-'z' '0'-'9'] {
81 | print_char (lexeme_char lexbuf 0);
82 | inquote lexbuf }
83 | | '\'' {
84 | print_string "}";
85 | syntax lexbuf }
86 | | _ {
87 | print_char_repr (lexeme_char lexbuf 0);
88 | inquote lexbuf }
89 |
90 | and indoublequote = parse
91 | ['A'-'Z' 'a'-'z' '0'-'9'] {
92 | print_char (lexeme_char lexbuf 0);
93 | indoublequote lexbuf }
94 | | '"' {
95 | print_string "}";
96 | syntax lexbuf }
97 | | _ {
98 | print_char_repr (lexeme_char lexbuf 0);
99 | indoublequote lexbuf }
100 |
101 | and verbatim = parse
102 | "\n\\end{verbatim}" {
103 | print_string "\n\\end{verbatim}";
104 | main lexbuf }
105 | | _ {
106 | print_char (lexeme_char lexbuf 0);
107 | verbatim lexbuf }
108 |
--------------------------------------------------------------------------------
/tools/transfmain.ml:
--------------------------------------------------------------------------------
1 | let main() =
2 | let lexbuf = Lexing.from_channel stdin in
3 | if Array.length Sys.argv >= 2 && Sys.argv.(1) = "-html"
4 | then Htmltransf.main lexbuf
5 | else Transf.main lexbuf;
6 | exit 0;;
7 |
8 | Printexc.print main ();;
9 |
--------------------------------------------------------------------------------
- "; }
79 | next;
80 | }
81 | if (m|^<$h1>(.*)|o) {
82 | if ($level2 > 0) { print FILE1 "
- \n"; }
87 | print "
- $1\n";
88 | open(FILE1, "> node$level1.html");
89 | select(FILE1);
90 | &print_title($1);
91 | }
92 | if ($split2[$level1] && m|^<$h2>(.*)|o) {
93 | $level2++;
94 | select(FILE1);
95 | if ($level2 == 1) { print "
- \n"; }
96 | print "
- $1\n"; 97 | open(FILE2, "> node$level1.$level2.html"); 98 | select(FILE2); 99 | &print_title($1); 100 | } 101 | s|X|'' . $label{$1} . ''|ige; 102 | print $_; 103 | } 104 | select(STDOUT); 105 | if ($level1 >= 1) { print "
$title \n"; 111 | } 112 | -------------------------------------------------------------------------------- /tools/htmlquote.c: -------------------------------------------------------------------------------- 1 | #include2 | #include 3 | 4 | #define LINE_LENGTH 1024 5 | 6 | char line[LINE_LENGTH]; 7 | 8 | int isprefix(s, pref) 9 | char * s; 10 | char * pref; 11 | { 12 | while (1) { 13 | if (*pref == 0) return 1; 14 | if (*s == 0) return 0; 15 | if (*s != *pref) return 0; 16 | s++; 17 | pref++; 18 | } 19 | } 20 | 21 | int main(argc, argv) 22 | int argc; 23 | char * argv []; 24 | { 25 | unsigned char * p; 26 | int c; 27 | int inquote; 28 | int inverb; 29 | int inverbatim; 30 | 31 | inverbatim = 0; 32 | inquote = 0; 33 | 34 | while(fgets(line, LINE_LENGTH, stdin) != NULL) { 35 | if (inverbatim) { 36 | fputs(line, stdout); 37 | if (isprefix(line, "\\end{verbatim") 38 | || isprefix(line, "\\end{alltt}")) inverbatim = 0; 39 | continue; 40 | } 41 | if (isprefix(line, "\\begin{verbatim") 42 | || isprefix(line, "\\begin{alltt}")) { 43 | fputs(line, stdout); 44 | inverbatim = 1; 45 | continue; 46 | } 47 | inverb = 0; 48 | for (p = (unsigned char *) line; *p != 0; p++) { 49 | c = *p; 50 | if (inverb) { 51 | if (c == inverb) inverb = 0; 52 | putchar(c); 53 | continue; 54 | } 55 | switch(c) { 56 | case '"': 57 | if (inquote) { 58 | fputs("\001", stdout); 59 | inquote = 0; 60 | } else { 61 | fputs("\\verb\001", stdout); 62 | inquote = 1; 63 | } 64 | break; 65 | case '\\': 66 | if (isprefix(p, "\\verb") && p[5] != 0 && !isalpha(p[5])) { 67 | inverb = p[5]; 68 | p = p + 5; 69 | fputs("\\verb", stdout); 70 | putchar(inverb); 71 | } else if (inquote) { 72 | if (p[1] == '"' || p[1] == '\\') { 73 | c = p[1]; 74 | p++; 75 | } 76 | putchar(c); 77 | } else { 78 | putchar('\\'); 79 | } 80 | break; 81 | default: 82 | putchar(c); 83 | } 84 | } 85 | } 86 | return 0; 87 | } 88 | -------------------------------------------------------------------------------- /tools/htmltbl: -------------------------------------------------------------------------------- 1 | #!/usr/local/bin/perl 2 | 3 | while (<>) { 4 | if (m|^ \n"; 8 | do format_table($_); 9 | print "
\n"; 10 | } else { 11 | print $_; 12 | } 13 | } 14 | 15 | sub format_table { 16 | # On input, $_ contains: 17 | #Header 1 Header2 ... Header M 18 | # Data11 Data12 ... Data1M 19 | # ... 20 | # DataN1 DataN2 ... DataNM 21 | # 22 | 23 | # Extract the entries and compute the number of lines and columns 24 | 25 | $numlines = 0; 26 | $numcols = 0; 27 | $border = 0; 28 | $header = 0; 29 | $x = 0; 30 | $y = 0; 31 | foreach $_ (split(/( | | |<\/tbl>)/, $_)) { 32 | if (/^$/) { next; } 33 | elsif (/ /) { $border = 1; } 34 | elsif (/ /i) { 35 | if ($x > $numcols) { $numcols = $x; } 36 | $x = 0; 37 | $y++; 38 | } 39 | elsif (/ /) { $header = 1; } 40 | elsif (!/( | | |<\/tbl>)/) { 41 | s|||g; # Remove embedded tags 42 | s/^\s*//; # and initial blanks 43 | s/\s*$//; # and final blanks 44 | s/\s\s\s*/ /g; # and extra blanks 45 | s/<//g; 47 | s/&/&/g; 48 | $entry{$x, $y} = $_; 49 | $x++; 50 | } 51 | } 52 | $numlines = $y; 53 | 54 | # Compute the max width of each column 55 | 56 | $totalwidth = 0; 57 | 58 | for ($x = 0; $x < $numcols; $x++) { 59 | $max = 0; 60 | for ($y = 0; $y < $numlines; $y++) { 61 | $len = length($entry{$x, $y}); 62 | if ($len > $max) { $max = $len; } 63 | } 64 | $width[$x] = $max; 65 | $totalwidth += $max; 66 | } 67 | 68 | # If it does not fit in one line, turn wide fields into multi-line fields 69 | 70 | if ($totalwidth >= 65) { 71 | $totalwidth = 0; 72 | $maxwidth = 65 / $numcols; 73 | for ($x = 0; $x < $numcols; $x++) { 74 | if ($width[$x] > $maxwidth) { 75 | if ($x < $numcols - 1) { 76 | $width[$x] = $maxwidth; 77 | } else { 78 | $width[$x] = 70 - $totalwidth; 79 | } 80 | } 81 | $totalwidth += $width[$x]; 82 | } 83 | } 84 | 85 | # Compute the separators 86 | 87 | if ($border) { 88 | $horsep = '+-'; 89 | for ($x = 0; $x < $numcols; $x++) { 90 | if ($x > 0) { $horsep .= '-+-'; } 91 | $horsep .= '-' x $width[$x]; 92 | } 93 | $horsep .= '-+'; 94 | $verleft = '| '; 95 | $versep = ' | '; 96 | $verright = ' |'; 97 | } else { 98 | $horsep = ''; 99 | $verleft = ' '; 100 | $versep = ' '; 101 | $verright = ' '; 102 | } 103 | 104 | # Print the table 105 | print $horsep, "\n"; 106 | for ($y = 0; $y < $numlines; $y++) { 107 | do { 108 | $overflow = 0; 109 | print $verleft; 110 | for ($x = 0; $x < $numcols; $x++) { 111 | if ($x > 0) { print $versep; } 112 | $_ = $entry{$x, $y}; 113 | if (length($_) > $width[$x]) { 114 | $pos = rindex($_, ' ', $width[$x]); 115 | if ($pos < 0) { $pos = $width[$x]; } else { $pos++; } 116 | $entry{$x, $y} = substr($_, $pos); 117 | $_ = substr($_, 0, $pos - 1); 118 | $overflow = 1; 119 | } else { 120 | $entry{$x, $y} = ''; 121 | } 122 | $len = length($_); 123 | s/&/&/g; 124 | s//>/g; 126 | print $_, ' ' x ($width[$x] - $len); 127 | } 128 | print $verright, "\n"; 129 | } while($overflow); 130 | if ($header && $y == 0) { print $horsep, "\n"; } 131 | } 132 | print $horsep, "\n"; 133 | } 134 | 135 | -------------------------------------------------------------------------------- /tools/htmlthread: -------------------------------------------------------------------------------- 1 | #!/usr/local/bin/perl 2 | # Insert Next/Previous/Contents buttons in a set of pages. 3 | 4 | @pages = sort fragmentorder @ARGV; 5 | 6 | sub fragmentorder { 7 | $a =~ /^node([0-9]+)/; $na = $1; 8 | if ($a =~ /^node[0-9]+\.([0-9]+)\.html/) { $fa = $1; } else { $fa = 0; } 9 | $b =~ /^node([0-9]+)/; $nb = $1; 10 | if ($b =~ /^node[0-9]+\.([0-9]+)\.html/) { $fb = $1; } else { $fb = 0; } 11 | return (($na <=> $nb) || ($fa <=> $fb)); 12 | } 13 | 14 | for ($i = 0; $i <= $#pages; $i++) { 15 | open(SRC, $pages[$i]); 16 | open(DST, "> newpage.html"); 17 | select(DST); 18 | $_ = ; # Title line 19 | print "\n"; 20 | print $_; 21 | do links(); 22 | print "\n"; 23 | print "\n"; 24 | do buttons(); 25 | print "
\n"; 26 | $numlines = 0; 27 | while () { 28 | $numlines++; 29 | print $_; 30 | } 31 | if ($numlines >= 40) { 32 | print "
\n"; 33 | do buttons(); 34 | } 35 | close(SRC); 36 | close(DST); 37 | rename("newpage.html", $pages[$i]); 38 | } 39 | 40 | sub links { 41 | if ($i > 0) { 42 | print '\n"; 43 | } 44 | if ($i < $#pages) { 45 | print '\n"; 46 | } 47 | print "\n"; 48 | } 49 | 50 | sub buttons { 51 | if ($i > 0) { 52 | print '', "\n";
53 | }
54 | if ($i < $#pages) {
55 | print '', "\n";
56 | }
57 | print '', "\n";
58 | }
59 |
--------------------------------------------------------------------------------
/tools/htmltransf.mll:
--------------------------------------------------------------------------------
1 | {
2 | open Lexing;;
3 |
4 | let need_space =
5 | ref false;;
6 |
7 | let addspace () =
8 | if !need_space then begin print_char ' '; need_space := false end;;
9 | }
10 |
11 | rule main = parse
12 | "\\begin{syntax}" {
13 | print_string "\\begin{rawhtml}\n\n"; 14 | need_space := false; 15 | syntax lexbuf; 16 | print_string "
\n\\end{rawhtml}\n"; 17 | main lexbuf } 18 | | "\\@" { 19 | print_string "@"; 20 | main lexbuf } 21 | | "@" { 22 | print_string "%\n\\begin{rawhtml}"; 23 | need_space := false; 24 | syntax lexbuf; 25 | print_string "\\end{rawhtml}%\n"; 26 | main lexbuf } 27 | | _ { 28 | print_char (lexeme_char lexbuf 0); main lexbuf } 29 | | eof { 30 | () } 31 | 32 | and syntax = parse 33 | "\\end{syntax}" { () } 34 | | "@" { () } 35 | | '\'' { 36 | addspace(); 37 | print_string ""; 38 | inquote lexbuf; 39 | print_string ""; 40 | need_space := true; 41 | syntax lexbuf } 42 | | '\"' { 43 | addspace(); 44 | print_string ""; 45 | indoublequote lexbuf; 46 | print_string ""; 47 | need_space := true; 48 | syntax lexbuf } 49 | | ['a'-'z'] ['a'-'z' '0'-'9' '-'] * { 50 | addspace(); 51 | print_string ""; 52 | print_string (lexeme lexbuf); 53 | print_string ""; 54 | need_space := true; 55 | syntax lexbuf } 56 | | '\\' ['a'-'z''A'-'Z'] + { 57 | begin match lexeme lexbuf with 58 | "\\ldots" -> print_string "..."; need_space := false 59 | | s -> Printf.eprintf "Warning: %s ignored.\n" s 60 | end; 61 | syntax lexbuf } 62 | | '_' _ { 63 | print_string ""; 64 | print_char(lexeme_char lexbuf 1); 65 | print_string ""; 66 | syntax lexbuf } 67 | | '^' _ { 68 | print_string ""; 69 | print_char(lexeme_char lexbuf 1); 70 | print_string ""; 71 | syntax lexbuf } 72 | | ":" { 73 | print_string ":\n "; 74 | need_space := false; 75 | syntax lexbuf } 76 | | "|" { 77 | print_string "\n | "; 78 | need_space := false; 79 | syntax lexbuf } 80 | | ";" { 81 | print_string "\n\n"; 82 | need_space := false; 83 | syntax lexbuf } 84 | | [ '{' '[' '('] { 85 | addspace(); print_string (lexeme lexbuf); syntax lexbuf } 86 | | [ '}' ']' ')'] { 87 | print_string (lexeme lexbuf); syntax lexbuf } 88 | | "{{" { 89 | addspace(); print_string "{"; syntax lexbuf } 90 | | "}}" { 91 | print_string "}+"; syntax lexbuf } 92 | | "||" { 93 | print_string " | "; need_space := false; syntax lexbuf } 94 | | [ ' ' '\n' '\t' '~'] { 95 | syntax lexbuf } 96 | | [ ',' ] { 97 | print_char(lexeme_char lexbuf 0); syntax lexbuf } 98 | | _ { 99 | Printf.eprintf "Warning: %s ignored at char %d.\n" 100 | (lexeme lexbuf) (lexeme_start lexbuf); 101 | syntax lexbuf } 102 | 103 | and inquote = parse 104 | '\'' { () } 105 | | '&' { print_string "&"; inquote lexbuf } 106 | | '<' { print_string "<"; inquote lexbuf } 107 | | '>' { print_string ">"; inquote lexbuf } 108 | | _ { print_char (lexeme_char lexbuf 0); inquote lexbuf } 109 | 110 | and indoublequote = parse 111 | '"' { () } 112 | | '&' { print_string "&"; indoublequote lexbuf } 113 | | '<' { print_string "<"; indoublequote lexbuf } 114 | | '>' { print_string ">"; indoublequote lexbuf } 115 | | _ { print_char (lexeme_char lexbuf 0); indoublequote lexbuf } 116 | 117 | 118 | -------------------------------------------------------------------------------- /tools/latexmacros.ml: -------------------------------------------------------------------------------- 1 | type action = 2 | Print of string 3 | | Print_arg 4 | | Skip_arg;; 5 | 6 | let cmdtable = (Hashtbl.create 19 : (string, action list) Hashtbl.t);; 7 | 8 | let def_macro name action = 9 | Hashtbl.add cmdtable name action;; 10 | 11 | let find_macro name = 12 | try 13 | Hashtbl.find cmdtable name 14 | with Not_found -> 15 | prerr_string "Unknown macro: "; prerr_endline name; [];; 16 | 17 | (* General LaTeX macros *) 18 | 19 | def_macro "\\part" 20 | [Print ""; Print_arg; Print " \n"]; 21 | def_macro "\\chapter" 22 | [Print ""; Print_arg; Print "
\n"]; 23 | def_macro "\\chapter*" 24 | [Print ""; Print_arg; Print "
\n"]; 25 | def_macro "\\section" 26 | [Print ""; Print_arg; Print "
\n"]; 27 | def_macro "\\section*" 28 | [Print ""; Print_arg; Print "
\n"]; 29 | def_macro "\\subsection" 30 | [Print ""; Print_arg; Print "
\n"]; 31 | def_macro "\\subsection*" 32 | [Print ""; Print_arg; Print "
\n"]; 33 | def_macro "\\subsubsection" 34 | [Print ""; Print_arg; Print "
\n"]; 35 | def_macro "\\subsubsection*" 36 | [Print ""; Print_arg; Print "
\n"]; 37 | def_macro "\\paragraph" 38 | [Print ""; Print_arg; Print " \n"]; 39 | def_macro "\\begin{alltt}" [Print ""]; 40 | def_macro "\\end{alltt}" [Print ""]; 41 | def_macro "\\begin{itemize}" [Print "- "];
42 | def_macro "\\end{itemize}" [Print "
- "];
44 | def_macro "\\end{enumerate}" [Print "
- "];
46 | def_macro "\\end{description}" [Print "
"]; 48 | def_macro "\\end{center}" [Print "
"]; 49 | def_macro "\\begin{quote}" [Print ""]; 50 | def_macro "\\end{quote}" [Print "
"]; 51 | def_macro "\\begin{quotation}" [Print ""]; 52 | def_macro "\\end{quotation}" [Print "
"]; 53 | def_macro "\\smallskip" []; 54 | def_macro "\\medskip" []; 55 | def_macro "\\bigskip" []; 56 | def_macro "\\markboth" [Skip_arg; Skip_arg]; 57 | def_macro "\\ldots" [Print "..."]; 58 | def_macro "\\ " [Print " "]; 59 | def_macro "\\{" [Print "{"]; 60 | def_macro "\\}" [Print "}"]; 61 | def_macro "\\%" [Print "%"]; 62 | def_macro "\\$" [Print "$"]; 63 | def_macro "\\#" [Print "#"]; 64 | def_macro "\\/" []; 65 | def_macro "\\newpage" []; 66 | def_macro "\\label" [Print ""]; 67 | def_macro "\\ref" [Print "X"]; 68 | def_macro "\\pageref" [Print "X"]; 69 | def_macro "\\index" [Skip_arg]; 70 | def_macro "\\oe" [Print "oe"]; 71 | def_macro "\\&" [Print "&"]; 72 | def_macro "\\_" [Print "_"]; 73 | def_macro "\\leq" [Print "<="]; 74 | def_macro "\\geq" [Print ">="]; 75 | def_macro "\\hbox" [Print_arg]; 76 | def_macro "\\copyright" [Print "\169"]; 77 | def_macro "\\noindent" []; 78 | def_macro "\\begin{flushleft}" [Print ""]; 79 | def_macro "\\end{flushleft}" [Print "
"]; 80 | def_macro "\\\\" [Print "
"]; 81 | def_macro "\\begin{htmlonly}" []; 82 | def_macro "\\end{htmlonly}" []; 83 | ();; 84 | 85 | (* Macros specific to the Caml manual *) 86 | 87 | def_macro "\\begin{options}" [Print "- "];
88 | def_macro "\\end{options}" [Print "
- Unix:
- "]; 98 | def_macro "\\end{unix}" [Print "
- MacOS:
- "]; 100 | def_macro "\\end{macos}" [Print "
- Windows:
- "]; 102 | def_macro "\\end{windows}" [Print "
- Requirements:
- "]; 104 | def_macro "\\end{requirements}" [Print "
- Troubleshooting:
- "]; 106 | def_macro "\\end{troubleshooting}" [Print "
- Installation:
- "]; 108 | def_macro "\\end{installation}" [Print "
- "]; 115 | def_macro "\\end{comment}" [Print "
\n
"]; 127 | def_macro "\\begin{gcrule}" [Print ""; 119 | Print_arg; 120 | Print " "; 121 | Print_arg; 122 | Print " "; Print_arg; 125 | Print " "; Print_arg; Print " - Rule:
- "]; 128 | def_macro "\\end{gcrule}" [Print "
\n
\n"]; 132 | def_macro "\\entreeoperateur" 133 | [Print "Operator Associated ident Behavior in the default environment "; Print_arg; Print " "; Print_arg; 134 | Print " "; Print_arg; Print " "]; 139 | def_macro "\\endcaml" [Print "
"]; 140 | def_macro "\\<" [Print ""]; 141 | def_macro "\\>" [Print ""]; 142 | def_macro "\\rminalltt" [Print_arg]; 143 | def_macro "\\event" [Print "*"]; 144 | def_macro "\\pdfchapter" [Skip_arg]; 145 | def_macro "\\pdfchapterfold" [Skip_arg; Skip_arg]; 146 | def_macro "\\pdfsection" [Skip_arg]; 147 | def_macro "\\transl" [Print "<"; Print_arg; Print ">"]; 148 | ();; 149 | 150 | -------------------------------------------------------------------------------- /tools/latexmacros.mli: -------------------------------------------------------------------------------- 1 | type action = 2 | Print of string 3 | | Print_arg 4 | | Skip_arg;; 5 | 6 | val find_macro: string -> action list;; 7 | 8 | val def_macro: string -> action list -> unit;; 9 | -------------------------------------------------------------------------------- /tools/latexmain.ml: -------------------------------------------------------------------------------- 1 | let main () = 2 | Latexscan.main (Lexing.from_channel stdin);; 3 | 4 | Printexc.print main (); exit 0;; 5 | -------------------------------------------------------------------------------- /tools/latexscan.mll: -------------------------------------------------------------------------------- 1 | { 2 | open Lexing;; 3 | open Latexmacros;; 4 | 5 | let delimiter = ref (char_of_int 0);; 6 | 7 | let upto delim lexfun lexbuf = 8 | let old_delim = !delimiter in 9 | delimiter := delim; 10 | lexfun lexbuf; 11 | delimiter := old_delim;; 12 | 13 | let verb_delim = ref (char_of_int 0);; 14 | 15 | let brace_nesting = ref 0;; 16 | 17 | let rindex c s = 18 | let rec find i = 19 | if i < 0 then raise Not_found else 20 | if s.[i] = c then i else find (i-1) in 21 | find (String.length s - 1);; 22 | 23 | let first_caml_line = ref true;; 24 | let in_caml = ref false;; 25 | } 26 | 27 | rule main = parse 28 | (* Comments *) 29 | '%' [^ '\n'] * '\n' { main lexbuf } 30 | (* Paragraphs *) 31 | | "\n\n" '\n' * 32 | { print_string "\n"; main lexbuf } 33 | (* Font changes *) 34 | | "{\\it" " "* | "{\\em" " "* 35 | { print_string ""; upto '}' main lexbuf; 36 | print_string ""; main lexbuf } 37 | | "{\\bf" " "* { print_string ""; upto '}' main lexbuf; 38 | print_string ""; main lexbuf } 39 | | "{\\rm" " "* { print_string ""; upto '}' main lexbuf; 40 | print_string ""; main lexbuf } 41 | | "{\\tt" " "* { print_string ""; upto '}' main lexbuf; 42 | print_string ""; main lexbuf } 43 | | '"' { print_string ""; indoublequote lexbuf; 44 | print_string ""; main lexbuf } 45 | (* Verb, verbatim *) 46 | | "\\verb" _ { verb_delim := lexeme_char lexbuf 5; 47 | print_string ""; inverb lexbuf; print_string ""; 48 | main lexbuf } 49 | | "\\begin{verbatim}" 50 | { print_string "
"; inverbatim lexbuf; 51 | print_string "
"; main lexbuf } 52 | (* Caml programs *) 53 | | "\\caml" 54 | { print_string ""; 55 | first_caml_line := true; in_caml := false; 56 | camlprog lexbuf; print_string "
"; main lexbuf } 57 | (* Raw html, latex only *) 58 | | "\\begin{rawhtml}" 59 | { rawhtml lexbuf; main lexbuf } 60 | | "\\begin{latexonly}" 61 | { latexonly lexbuf; main lexbuf } 62 | (* Itemize and similar environments *) 63 | | "\\item[" { print_string "- "; upto ']' main lexbuf; 64 | print_string "
- "; main lexbuf } 65 | | "\\item" { print_string "
- "; main lexbuf } 66 | (* Math mode (hmph) *) 67 | | "$" { main lexbuf } 68 | (* Special characters *) 69 | | "\\char" ['0'-'9']+ 70 | { let lxm = lexeme lexbuf in 71 | let code = String.sub lxm 5 (String.length lxm - 5) in 72 | print_char(char_of_int(int_of_string code)); 73 | main lexbuf } 74 | | "<" { print_string "<"; main lexbuf } 75 | | ">" { print_string ">"; main lexbuf } 76 | | "~" { print_string " "; main lexbuf } 77 | (* Definitions of very simple macros *) 78 | | "\\def\\" (['A'-'Z' 'a'-'z']+ | [^ 'A'-'Z' 'a'-'z']) "{" [^ '{' '}']* "}" 79 | { let s = lexeme lexbuf in 80 | let l = String.length s in 81 | let p = rindex '{' s in 82 | let name = String.sub s 4 (p - 4) in 83 | let expansion = String.sub s (p + 1) (l - p - 2) in 84 | def_macro name [Print expansion]; 85 | main lexbuf } 86 | (* General case for environments and commands *) 87 | | ("\\begin{" | "\\end{") ['A'-'Z' 'a'-'z']+ "}" | 88 | "\\" (['A'-'Z' 'a'-'z']+ '*'? | [^ 'A'-'Z' 'a'-'z']) 89 | { let exec_action = function 90 | Print str -> print_string str 91 | | Print_arg -> print_arg lexbuf 92 | | Skip_arg -> skip_arg lexbuf in 93 | List.iter exec_action (find_macro(lexeme lexbuf)); 94 | main lexbuf } 95 | (* Default rule for other characters *) 96 | | eof { () } 97 | | _ { let c = lexeme_char lexbuf 0 in 98 | if c == !delimiter then () else (print_char c; main lexbuf) } 99 | 100 | and indoublequote = parse 101 | '"' { () } 102 | | "<" { print_string "<"; indoublequote lexbuf } 103 | | ">" { print_string ">"; indoublequote lexbuf } 104 | | "&" { print_string "&"; indoublequote lexbuf } 105 | | "\\\"" { print_string "\""; indoublequote lexbuf } 106 | | "\\\\" { print_string "\\"; indoublequote lexbuf } 107 | | _ { print_char(lexeme_char lexbuf 0); indoublequote lexbuf } 108 | 109 | and inverb = parse 110 | "<" { print_string "<"; inverb lexbuf } 111 | | ">" { print_string ">"; inverb lexbuf } 112 | | "&" { print_string "&"; inverb lexbuf } 113 | | _ { let c = lexeme_char lexbuf 0 in 114 | if c == !verb_delim then () 115 | else (print_char c; inverb lexbuf) } 116 | and inverbatim = parse 117 | "<" { print_string "<"; inverbatim lexbuf } 118 | | ">" { print_string ">"; inverbatim lexbuf } 119 | | "&" { print_string "&"; inverbatim lexbuf } 120 | | "\\end{verbatim}" { () } 121 | | _ { print_char(lexeme_char lexbuf 0); inverbatim lexbuf } 122 | 123 | and camlprog = parse 124 | "<" { print_string "<"; camlprog lexbuf } 125 | | ">" { print_string ">"; camlprog lexbuf } 126 | | "&" { print_string "&"; camlprog lexbuf } 127 | | "\\?" { if !first_caml_line then begin 128 | print_string "# "; 129 | first_caml_line := false 130 | end else 131 | print_string " "; 132 | in_caml := true; 133 | camlprog lexbuf } 134 | | "\\:" { print_string ""; 135 | in_caml := true; 136 | camlprog lexbuf } 137 | | "\\;" { first_caml_line := true; camlprog lexbuf } 138 | | "\\\\" { print_string "\\"; camlprog lexbuf } 139 | | "\\endcaml" { () } 140 | | "\n" { if !in_caml then begin 141 | print_string ""; 142 | in_caml := false 143 | end; 144 | print_char '\n'; 145 | camlprog lexbuf } 146 | | _ { print_char(lexeme_char lexbuf 0); camlprog lexbuf } 147 | 148 | and rawhtml = parse 149 | "\\end{rawhtml}" { () } 150 | | _ { print_char(lexeme_char lexbuf 0); rawhtml lexbuf } 151 | 152 | and latexonly = parse 153 | "\\end{latexonly}" { () } 154 | | _ { latexonly lexbuf } 155 | 156 | and print_arg = parse 157 | [' ' '\n'] * "{" { upto '}' main lexbuf } 158 | | _ { print_char(lexeme_char lexbuf 0); rawhtml lexbuf } 159 | 160 | and skip_arg = parse 161 | "{" { incr brace_nesting; skip_arg lexbuf } 162 | | "}" { decr brace_nesting; 163 | if !brace_nesting > 0 then skip_arg lexbuf } 164 | | _ { skip_arg lexbuf } 165 | 166 | 167 | -------------------------------------------------------------------------------- /tools/texexpand: -------------------------------------------------------------------------------- 1 | #!/usr/local/bin/perl 2 | # Expand \input commands 3 | 4 | @path = split(/:/, $ENV{'TEXINPUTS'}); 5 | 6 | while(<>) { 7 | if (/^\\input\s*([^\s]*)/) { 8 | do expand($1); 9 | } else { 10 | print $_; 11 | } 12 | } 13 | 14 | sub expand { 15 | local ($filename) = @_; 16 | local (*INPUT); 17 | $filename =~ s/\.tex$//; 18 | $filename = do find_in_path($filename); 19 | open(INPUT, $filename) || (warn("cannot find $filename"), return); 20 | print "%%% $filename\n"; 21 | while() { 22 | if (/^\\input\s*([^\s]*)/) { 23 | do expand($1); 24 | } else { 25 | print $_; 26 | } 27 | } 28 | close(INPUT); 29 | } 30 | 31 | sub find_in_path { 32 | local ($name) = @_; 33 | local ($dir); 34 | foreach $dir (@path) { 35 | return "$dir/$name.htex" if (-f "$dir/$name.htex"); 36 | return "$dir/$name.tex" if (-f "$dir/$name.tex"); 37 | } 38 | return $name; 39 | } 40 | 41 | -------------------------------------------------------------------------------- /tools/texquote2.c: -------------------------------------------------------------------------------- 1 | #include
2 | #include 3 | 4 | char * transl[256]; 5 | 6 | #define LINE_LENGTH 1024 7 | 8 | char line[LINE_LENGTH]; 9 | 10 | int isprefix(s, pref) 11 | char * s; 12 | char * pref; 13 | { 14 | while (1) { 15 | if (*pref == 0) return 1; 16 | if (*s == 0) return 0; 17 | if (*s != *pref) return 0; 18 | s++; 19 | pref++; 20 | } 21 | } 22 | 23 | int main(argc, argv) 24 | int argc; 25 | char * argv []; 26 | { 27 | unsigned char * p; 28 | int c; 29 | int inquote; 30 | int inverb; 31 | int inverbatim_like; 32 | int incaml; 33 | int inverbatim = 0; 34 | char *verbatim_end_in = ""; 35 | char *verbatim_end_out = ""; 36 | 37 | for (c = 0; c < 256; c++) transl[c] = NULL; 38 | #ifdef TIE_BLANKS 39 | transl[' '] = "~"; 40 | transl['\n'] = "~"; 41 | #else 42 | transl[' '] = "\\ "; 43 | transl['\n'] = "\\ "; 44 | #endif 45 | transl['{'] = "{\\char123}"; 46 | transl['}'] = "{\\char125}"; 47 | transl['^'] = "{\\char94}"; 48 | transl['_'] = "{\\char95}"; 49 | transl['\\'] = "{\\char92}"; 50 | transl['~'] = "{\\char126}"; 51 | transl['$'] = "\\$"; 52 | transl['&'] = "{\\char38}"; 53 | transl['#'] = "\\#"; 54 | transl['%'] = "\\%"; 55 | transl['\''] = "{\\textquotesingle}"; 56 | transl['`'] = "{\\textasciigrave}"; 57 | inverbatim_like = 0; 58 | incaml = 0; 59 | inquote = 0; 60 | inverbatim = 0; 61 | 62 | puts ("% THIS FILE IS GENERATED.\n"); 63 | 64 | while(fgets(line, LINE_LENGTH, stdin) != NULL) { 65 | if (inverbatim_like) { 66 | fputs(line, stdout); 67 | if (isprefix(line, "\\end{caml_") 68 | || isprefix(line, "\\end{rawhtml}")) inverbatim_like = 0; 69 | continue; 70 | } 71 | if (incaml) { 72 | fputs(line, stdout); 73 | if (isprefix(line, "\\endcaml")) incaml = 0; 74 | continue; 75 | } 76 | if (inverbatim){ 77 | if (isprefix (line, verbatim_end_in)){ 78 | fputs (verbatim_end_out, stdout); 79 | inverbatim = 0; 80 | }else{ 81 | for (p = (unsigned char *) line; *p != 0; p++){ 82 | c = *p; 83 | if (c == ' ' || c == '\n' || transl[c] == NULL){ 84 | putchar (c); 85 | }else{ 86 | fputs (transl[c], stdout); 87 | } 88 | } 89 | } 90 | continue; 91 | } 92 | if (isprefix(line, "\\begin{caml_") 93 | || isprefix(line, "\\begin{rawhtml}")) { 94 | fputs(line, stdout); 95 | inverbatim_like = 1; 96 | continue; 97 | } 98 | if (isprefix(line, "\\caml")) { 99 | fputs(line, stdout); 100 | incaml = 1; 101 | continue; 102 | } 103 | if (isprefix (line, "\\begin{verbatim}")){ 104 | fputs ("\\begin{machineenv}", stdout); 105 | inverbatim = 1; 106 | verbatim_end_in = "\\end{verbatim}"; 107 | verbatim_end_out = "\\end{machineenv}"; 108 | continue; 109 | } 110 | if (isprefix (line, "\\begin{ocamldoccode}")){ 111 | fputs ("\\begin{ocamldoccode}", stdout); 112 | inverbatim = 1; 113 | verbatim_end_in = "\\end{ocamldoccode}"; 114 | verbatim_end_out = "\\end{ocamldoccode}"; 115 | continue; 116 | } 117 | inverb = 0; 118 | for (p = (unsigned char *) line; *p != 0; p++) { 119 | c = *p; 120 | if (inverb) { 121 | if (c == inverb){ 122 | inverb = 0; 123 | }else if (c == '\'' || c == '`'){ 124 | fprintf (stderr, "Warning: %c found in \\verb\n", c); 125 | } 126 | putchar(c); 127 | continue; 128 | } 129 | switch(c) { 130 | case '"': 131 | if (inquote) { 132 | fputs("}}", stdout); 133 | inquote = 0; 134 | } else { 135 | fputs("{\\machine{", stdout); 136 | inquote = 1; 137 | } 138 | break; 139 | case '\\': 140 | if (inquote) { 141 | if (p[1] == '"' || p[1] == '\\') { 142 | c = p[1]; 143 | p++; 144 | } 145 | if (transl[c] != NULL) 146 | fputs(transl[c], stdout); 147 | else 148 | putchar(c); 149 | } else if (isprefix(p, "\\verb") && p[5] != 0 && !isalpha(p[5])) { 150 | inverb = p[5]; 151 | p = p + 5; 152 | fputs("\\verb", stdout); 153 | putchar(inverb); 154 | } else { 155 | putchar('\\'); 156 | } 157 | break; 158 | default: 159 | if (inquote && transl[c] != NULL) 160 | fputs(transl[c], stdout); 161 | else 162 | putchar(c); 163 | } 164 | } 165 | } 166 | return 0; 167 | } 168 | -------------------------------------------------------------------------------- /tools/transf.mll: -------------------------------------------------------------------------------- 1 | { 2 | open Lexing;; 3 | open Printf;; 4 | 5 | let print_char_repr c = 6 | match c with 7 | | '\'' -> printf "{\\textquotesingle}" 8 | | '`' -> printf "{\\textasciigrave}" 9 | | _ -> printf "\\char%d" (int_of_char c); 10 | ;; 11 | } 12 | 13 | rule main = parse 14 | "\\begin{syntax}" { 15 | print_string "\\begin{syntax}"; 16 | syntax lexbuf } 17 | | "\\begin{verbatim}" { 18 | print_string "\\begin{verbatim}"; 19 | verbatim lexbuf } 20 | | "\\@" { 21 | print_string "@"; 22 | main lexbuf } 23 | | "@" { 24 | print_string "\\synt{"; 25 | syntax lexbuf } 26 | | _ { 27 | print_char (lexeme_char lexbuf 0); main lexbuf } 28 | | eof { 29 | () } 30 | 31 | and syntax = parse 32 | "\\end{syntax}" { 33 | print_string "\\end{syntax}"; 34 | main lexbuf } 35 | | "@" { 36 | print_string "}"; 37 | main lexbuf } 38 | | '\'' { 39 | print_string "\\token{"; 40 | inquote lexbuf } 41 | | '\"' { 42 | print_string "\\token{"; 43 | indoublequote lexbuf } 44 | | "epsilon" { print_string "\\emptystring"; syntax lexbuf } 45 | | ['a'-'z' 'A'-'Z'] ['a'-'z' 'A'-'Z' '0'-'9' '-'] * as lxm { 46 | print_string "\\nonterm{"; 47 | print_string lxm ; 48 | print_string"}"; 49 | syntax lexbuf } 50 | | '@' (['a'-'z' 'A'-'Z'] ['a'-'z' 'A'-'Z' '0'-'9' '-'] * as lxm) '@' { 51 | print_string "\\nt{"; 52 | print_string lxm ; 53 | print_string"}"; 54 | syntax lexbuf } 55 | 56 | | '\\' ['a'-'z''A'-'Z'] + { 57 | print_string (lexeme lexbuf); 58 | syntax lexbuf } 59 | | ['_' '^'] _ { 60 | print_string (lexeme lexbuf); 61 | syntax lexbuf } 62 | | "{" { print_string "\\brepet{}"; syntax lexbuf } 63 | | "}" { print_string "\\erepet{}"; syntax lexbuf } 64 | | "{{" { print_string "\\brepets{}"; syntax lexbuf } 65 | | "}}" { print_string "\\erepets{}"; syntax lexbuf } 66 | | "[" { print_string "\\boption{}"; syntax lexbuf } 67 | | "]" { print_string "\\eoption{}"; syntax lexbuf } 68 | | "(" { print_string "\\bparen{}"; syntax lexbuf } 69 | | ")" { print_string "\\eparen{}"; syntax lexbuf } 70 | | "||" { print_string "\\orelse{}"; syntax lexbuf } 71 | | ":" { print_string "\\is{}"; syntax lexbuf } 72 | | "|" { print_string "\\alt{}"; syntax lexbuf } 73 | | ";" { print_string "\\sep{}"; syntax lexbuf } 74 | | "\\\\" { print_string "\\cutline{}"; syntax lexbuf } 75 | | _ { 76 | print_char (lexeme_char lexbuf 0); 77 | syntax lexbuf } 78 | 79 | and inquote = parse 80 | ['A'-'Z' 'a'-'z' '0'-'9'] { 81 | print_char (lexeme_char lexbuf 0); 82 | inquote lexbuf } 83 | | '\'' { 84 | print_string "}"; 85 | syntax lexbuf } 86 | | _ { 87 | print_char_repr (lexeme_char lexbuf 0); 88 | inquote lexbuf } 89 | 90 | and indoublequote = parse 91 | ['A'-'Z' 'a'-'z' '0'-'9'] { 92 | print_char (lexeme_char lexbuf 0); 93 | indoublequote lexbuf } 94 | | '"' { 95 | print_string "}"; 96 | syntax lexbuf } 97 | | _ { 98 | print_char_repr (lexeme_char lexbuf 0); 99 | indoublequote lexbuf } 100 | 101 | and verbatim = parse 102 | "\n\\end{verbatim}" { 103 | print_string "\n\\end{verbatim}"; 104 | main lexbuf } 105 | | _ { 106 | print_char (lexeme_char lexbuf 0); 107 | verbatim lexbuf } 108 | -------------------------------------------------------------------------------- /tools/transfmain.ml: -------------------------------------------------------------------------------- 1 | let main() = 2 | let lexbuf = Lexing.from_channel stdin in 3 | if Array.length Sys.argv >= 2 && Sys.argv.(1) = "-html" 4 | then Htmltransf.main lexbuf 5 | else Transf.main lexbuf; 6 | exit 0;; 7 | 8 | Printexc.print main ();; 9 | --------------------------------------------------------------------------------