1 % sinfo to HTML replacement file
3 % $Id: mapping,v 1.1 1998-09-15 01:24:37 morioka Exp $:
12 </title> "</title>\n</head>\n<body>" +
23 <abstract> + "<cite>" +
24 </abstract> + "</cite>" +
103 <a> <a href="[href]" href="[file]#[node]">
106 <cf> "(cf. <a href=\"[href]\" href=\"[file]#[node]\">"
109 <ref> "@ref{([file])[node]}"
112 <dref> "@DREF{([file])"
113 </dref> "}@end DREF{@refill}"
130 <tscreen> + "@example" +
131 </tscreen> + "@end example" +
133 <quote> + "@quotation" +
134 </quote> + "@end quotation" +
139 </def> + "@end deffn" +
141 <defun> + "@defun [name]"
142 </defun> + "@end defun" +
147 <define> + "@deffn{[type]} [name]"
148 </define> + "@end deffn" +
150 <defvar> + "@defvar [name]" +
151 </defvar> + "@end defvar" +
153 <prop> + "\\begin{proposition}" +
154 </prop> + "\\end{proposition}" +
156 <lemma> + "\\begin{lemma}"
157 </lemma> + "\\end{lemma}\n\n" +
159 <coroll> + "\\begin{corollary}"
160 </coroll> + "\\end{corollary}\n\n" +
162 <proof> + "\n{\\noindent{\\bf Proof.} " +
165 <theorem> + "\\begin{theorem}"
166 </theorem> + "\\end{theorem}\n\n" +
175 </lisp> + "@end lisp" +
189 <memo> + "<strong>\[[title]\]</strong>\n<blockquote>" +
190 </memo> + "</blockquote>" +
192 <rfc> "@cindex{[name]}@cindex{[type]}@cindex{RFC [number]}\n@noindent\n\[[name]: RFC [number]\]\n@quotation\n[author], ``[title]'', [date], [type] (obsolete RFC [obsolete]).\n@end quotation" +
194 <standard> "@cindex{[abbrev]}@cindex{[number]:[year]}\n@noindent\n\[[abbrev]]\n@quotation\n[org],
\92¡Ø[title-cn]
\92¡Ù,
\92¡Ø[title-ja]
\92¡Ù, ``[title-fr]'', ``[title-en]'', [number]:[year].\n@end quotation" +
196 <report> "@cindex{[abbrev]}\n@noindent\n\[[abbrev]]\n@quotation\n[author],
\92¡Ø[title-cn]
\92¡Ù,
\92¡Ø[title-ja]
\92¡Ù, ``[title-fr]'', ``[title-en]'', [date].\n@end quotation" +
198 <inproc> "@cindex{[abbrev]}\n@noindent\n\[[abbrev]]\n@quotation\n[author],
\92¡Ø[title-cn]
\92¡Ù,
\92¡Ø[title-ja]
\92¡Ù, ``[title-fr]'', ``[title-en]'', [book-cn], [book-en], [book-ja], [book-fr], [date].\n@end quotation" +
208 <eq> + "\\begin{equation}" +
209 </eq> + "\\end{equation}\n" +
244 <root> "\\sqrt\[[n]\]{"
247 <ar> + "\\begin{array}{[ca]}" +
248 </ar> + "\\end{array}" +
286 <figure> + "\\begin{figure}\[[LOC]\]" +
287 </figure> + "\\end{figure}\n" +
289 <eps> + "\\centerline{\\epsffile{[FILE].ps}}" +
293 <ph> + "\\vspace{[VSPACE]}\n\\par" +
296 <caption> + "\\caption{"
301 <table> + "\\begin{table}\[[LOC]\]" +
302 </table> + "\\end{table}" +
304 <tabular> + "\\begin{center}\n"
305 "\\begin{tabular}{[ca]}" +
306 </tabular> + "\\end{tabular}\n"
315 <hline> + "\\hline" +
318 % end of texinfo replacement file