2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
% Converts qwertz files to html files ready for fixref and html2html.
|
|
|
|
%
|
|
|
|
% This file is R-Rated because of uglyness.
|
|
|
|
%
|
|
|
|
% -Magnus <magnus@ii.uib.no>
|
|
|
|
|
|
|
|
<qwertz>
|
|
|
|
</qwertz> + "<@@enddoc>" +
|
|
|
|
|
|
|
|
<article>
|
|
|
|
</article> + "<@@enddoc>" +
|
|
|
|
|
|
|
|
<report>
|
|
|
|
</report> + "<@@enddoc>" +
|
|
|
|
|
|
|
|
<book>
|
|
|
|
</book> + "<@@enddoc>" +
|
|
|
|
|
|
|
|
<notes>
|
|
|
|
</notes> + "<@@enddoc>" +
|
|
|
|
|
|
|
|
% Manual Pages are expected to be formatted using nroff (or groff), unless
|
2016-09-29 17:20:04 +08:00
|
|
|
% they are included as sections of other qwertz documents.
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<manpage>
|
|
|
|
</manpage>
|
|
|
|
|
2000-06-06 05:02:57 +08:00
|
|
|
<progdoc>
|
|
|
|
</progdoc>
|
|
|
|
|
2000-05-11 20:00:35 +08:00
|
|
|
<titlepag>
|
|
|
|
</titlepag>
|
|
|
|
|
|
|
|
<title> + "<@@title>"
|
|
|
|
</title>
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<subtitle> + "<H2>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</subtitle> "</H2>" +
|
|
|
|
|
|
|
|
<author>
|
|
|
|
</author>
|
|
|
|
|
|
|
|
<name> + "<H2>"
|
|
|
|
</name> "</H2>"
|
|
|
|
|
|
|
|
<and> " and "
|
|
|
|
</and>
|
|
|
|
|
|
|
|
<thanks> + "Thanks "
|
2016-09-29 17:20:04 +08:00
|
|
|
</thanks>
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<inst> + "<H3>"
|
|
|
|
</inst> "</H3>" +
|
|
|
|
|
|
|
|
<newline> "<BR>"
|
2016-09-29 17:20:04 +08:00
|
|
|
|
2000-05-11 20:00:35 +08:00
|
|
|
<label> + "<@@label>[ID]" +
|
2016-09-29 17:20:04 +08:00
|
|
|
|
|
|
|
<header>
|
|
|
|
</header>
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<lhead> + "<!-- "
|
2016-09-29 17:20:04 +08:00
|
|
|
</lhead> " -->" +
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<rhead> + "<!-- "
|
|
|
|
</rhead> " -->" +
|
|
|
|
|
|
|
|
<comment> + "<H4>Comment</H4>" +
|
2016-09-29 17:20:04 +08:00
|
|
|
</comment>
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<abstract> + "<P><HR>\n<EM>"
|
|
|
|
</abstract> "</EM>\n<HR>" +
|
|
|
|
|
|
|
|
<appendix> + "<H2>Appendix</H2>" +
|
|
|
|
</appendix>
|
|
|
|
|
|
|
|
<toc>
|
|
|
|
</toc>
|
|
|
|
|
|
|
|
<lof>
|
|
|
|
</lof>
|
|
|
|
|
|
|
|
<lot>
|
|
|
|
</lot>
|
|
|
|
|
|
|
|
<chapt> + "<@@chapt>"
|
|
|
|
</chapt> + "<@@endchapt>" +
|
|
|
|
|
|
|
|
<sect> + "<@@sect>"
|
|
|
|
</sect> + "<@@endsect>" +
|
|
|
|
|
|
|
|
<sect1> + "<@@ssect>"
|
|
|
|
</sect1> + "<@@endssect>" +
|
|
|
|
|
|
|
|
<sect2> + "<@@head>"
|
|
|
|
</sect2>
|
|
|
|
|
|
|
|
<sect3> + "<@@head>"
|
|
|
|
</sect3>
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<sect4> + "<@@head>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</sect4>
|
|
|
|
|
|
|
|
<heading>
|
|
|
|
</heading> + "<@@endhead>" +
|
|
|
|
|
|
|
|
<p> "<P>"
|
|
|
|
</p> "" +
|
|
|
|
|
2000-05-31 19:28:52 +08:00
|
|
|
<hrule> "<HR>"
|
|
|
|
|
2000-05-11 20:00:35 +08:00
|
|
|
<itemize> + "<UL>" +
|
|
|
|
</itemize> + "</UL>" +
|
|
|
|
|
|
|
|
<enum> + "<OL>" +
|
|
|
|
</enum> + "</OL>" +
|
|
|
|
|
|
|
|
<descrip> + "<DL>" +
|
|
|
|
</descrip> + "</DL>" +
|
|
|
|
|
|
|
|
<item> + "<LI>"
|
|
|
|
</item> "</LI>" +
|
|
|
|
|
|
|
|
<tag> "<DT><CODE>"
|
|
|
|
</tag> "</CODE><DD>"
|
|
|
|
|
2000-05-31 19:28:52 +08:00
|
|
|
<tagp> "<DT>"
|
|
|
|
</tagp> "<DD>"
|
|
|
|
|
2000-05-11 20:00:35 +08:00
|
|
|
<cite> "[<I>[ID]</I>]"
|
|
|
|
</cite>
|
|
|
|
|
|
|
|
<ncite> "[<I>[NOTE] ([ID])</I>]"
|
|
|
|
</ncite>
|
|
|
|
|
|
|
|
<footnote> + "<BLOCKQUOTE>"
|
|
|
|
</footnote> "</BLOCKQUOTE>" +
|
|
|
|
|
|
|
|
<sq> "\""
|
|
|
|
</sq> "\""
|
|
|
|
|
|
|
|
<lq> + "<LQ>" +
|
|
|
|
</lq> + "</LQ>" +
|
|
|
|
|
|
|
|
<em> "<EM>"
|
|
|
|
</em> "</EM>"
|
|
|
|
|
|
|
|
<bf> "<B>"
|
|
|
|
</bf> "</B>"
|
|
|
|
|
|
|
|
<it> "<I>"
|
|
|
|
</it> "</I>"
|
|
|
|
|
|
|
|
<sf> "<SF>"
|
|
|
|
</sf> "</SF>"
|
|
|
|
|
|
|
|
<sl> "<I>"
|
|
|
|
</sl> "</I>"
|
|
|
|
|
|
|
|
<tt> "<CODE>"
|
|
|
|
</tt> "</CODE>"
|
|
|
|
|
|
|
|
<cf> "<CODE>"
|
|
|
|
</cf> "</CODE>"
|
|
|
|
|
|
|
|
<m> "<I>"
|
|
|
|
</m> "</I>"
|
|
|
|
|
2000-05-31 19:28:52 +08:00
|
|
|
<const> "<I>"
|
|
|
|
</const> "</I>"
|
|
|
|
|
|
|
|
<func> "<B>"
|
|
|
|
</func> "</B>"
|
|
|
|
|
|
|
|
<struct> "<I>"
|
|
|
|
</struct> "</I>"
|
|
|
|
|
|
|
|
<param> "<B>"
|
|
|
|
</param> "</B>"
|
|
|
|
|
|
|
|
<type> "<I>"
|
|
|
|
</type> "</I>"
|
|
|
|
|
|
|
|
<funcdef> "<B>"
|
|
|
|
</funcdef> "</B>"
|
|
|
|
|
2000-05-31 22:24:21 +08:00
|
|
|
<function> "<HR><H3>Function</H3>\n"
|
|
|
|
</function> "\n"
|
|
|
|
|
|
|
|
<funcsect> "<H3>"
|
|
|
|
</funcsect> "</H3>\n"
|
|
|
|
|
2000-05-11 20:00:35 +08:00
|
|
|
% url support by HG
|
|
|
|
|
|
|
|
<url> + "<@@url>[URL]\n"
|
|
|
|
"[NAME]</A>\n"
|
|
|
|
"<@@endurl>" +
|
|
|
|
</url>
|
|
|
|
|
|
|
|
<htmlurl> + "<@@url>[URL]\n"
|
|
|
|
"[NAME]</A>\n"
|
|
|
|
"<@@endurl>" +
|
|
|
|
</htmlurl>
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
% ref modified to have an optional name field
|
2000-05-11 20:00:35 +08:00
|
|
|
<ref> + "<@@ref>[ID]\n"
|
|
|
|
"[NAME]</A>\n"
|
|
|
|
"<@@endref>" +
|
|
|
|
</ref>
|
|
|
|
|
|
|
|
<href> + "<@@ref>[ID]" +
|
|
|
|
</href>
|
|
|
|
|
|
|
|
<pageref> + "<@@ref>[ID]" +
|
|
|
|
</pageref>
|
|
|
|
|
|
|
|
<nidx> + "<!--" +
|
|
|
|
</nidx> + "-->" +
|
|
|
|
|
|
|
|
<ncdx> + "<!--" +
|
|
|
|
</ncdx> + "-->" +
|
|
|
|
|
|
|
|
<x>
|
|
|
|
</x>
|
|
|
|
|
|
|
|
<mc> "<MC>"
|
|
|
|
</mc> "</MC>"
|
|
|
|
|
|
|
|
<biblio> + "<BIBLIO STYLE=\"[STYLE]\" FILES=\"[FILES]\">" +
|
2016-09-29 17:20:04 +08:00
|
|
|
</biblio>
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<code> + "<HR>\n<PRE>" +
|
|
|
|
</code> + "</PRE>\n<HR>" +
|
|
|
|
|
|
|
|
<verb> + "<PRE>" +
|
|
|
|
</verb> + "</PRE>" +
|
|
|
|
|
|
|
|
<tscreen> + "<BLOCKQUOTE><CODE>" +
|
|
|
|
</tscreen> + "</CODE></BLOCKQUOTE>" +
|
|
|
|
|
|
|
|
<quote> + "<BLOCKQUOTE>" +
|
|
|
|
</quote> + "</BLOCKQUOTE>" +
|
|
|
|
|
|
|
|
% theorems and such
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<def> + "<DEF>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</def> + "</DEF>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<prop> + "<PROP>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</prop> + "</PROP>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<lemma> + "<LEMMA>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</lemma> + "</LEMMA>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<coroll> + "<COROLL>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</coroll> + "</COROLL>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<proof> + "<PROOF>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</proof> + "</PROOF>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<theorem> + "<THEOREM>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</theorem> + "</THEOREM>" +
|
|
|
|
|
|
|
|
<thtag> "<THTAG>"
|
|
|
|
</thtag> "</THTAG>"
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
% mathematics
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<f>
|
|
|
|
</f>
|
|
|
|
|
|
|
|
<dm> + "<DM>" +
|
|
|
|
</dm> + "</DM>" +
|
|
|
|
|
|
|
|
<eq> + "<EQ>" +
|
|
|
|
</eq> + "</EQ>" +
|
|
|
|
|
|
|
|
<fr> "<FR>"
|
|
|
|
</fr> "</FR>"
|
|
|
|
|
|
|
|
<nu> "<NU>"
|
|
|
|
</nu> "</NU>"
|
|
|
|
|
|
|
|
<de> "<DE>"
|
|
|
|
</de> "</DE>"
|
|
|
|
|
|
|
|
<lim> "<LIM>"
|
|
|
|
</lim> "</LIM>"
|
|
|
|
|
|
|
|
<op> "<OP>"
|
|
|
|
</op> "</OP>"
|
|
|
|
|
|
|
|
<ll> "<LL>"
|
|
|
|
</ll> "</LL>"
|
|
|
|
|
|
|
|
<ul> "<UL>"
|
|
|
|
</ul> "</UL>"
|
|
|
|
|
|
|
|
<opd> "<OPD>"
|
|
|
|
</opd> "</OPD>"
|
|
|
|
|
|
|
|
<pr> "<PR>"
|
|
|
|
</pr> "</PR>"
|
|
|
|
|
|
|
|
<in> "<INT>"
|
|
|
|
</in> "</INT>"
|
|
|
|
|
|
|
|
<sum> "<SUM>"
|
|
|
|
</sum> "</SUM>"
|
|
|
|
|
|
|
|
<root> "<ROOT>"
|
|
|
|
</root> "</ROOT>"
|
|
|
|
|
|
|
|
<ar> "<AR>"
|
|
|
|
</ar> "</AR>"
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<arr> "<ARR>"
|
|
|
|
</arr>
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<arc> "<ARC>"
|
2016-09-29 17:20:04 +08:00
|
|
|
</arc>
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<sup> "<SUP>"
|
|
|
|
</sup> "</SUP>"
|
|
|
|
|
|
|
|
<inf> "<SUB>"
|
|
|
|
</inf> "</SUB>"
|
|
|
|
|
|
|
|
<unl> "<UNL>"
|
|
|
|
</unl> "</UNL>"
|
|
|
|
|
|
|
|
<ovl> "<OVL>"
|
|
|
|
</ovl> "</OVL>"
|
|
|
|
|
|
|
|
<rf> "<RF>"
|
|
|
|
</rf> "</RF>"
|
|
|
|
|
|
|
|
<v> "<V>"
|
|
|
|
</v> "</V>"
|
|
|
|
|
|
|
|
<fi> "<FI>"
|
|
|
|
</fi> "</FI>"
|
|
|
|
|
|
|
|
<phr> "<PHR>"
|
|
|
|
</phr> "</PHR>"
|
|
|
|
|
|
|
|
<tu> "<TU>"
|
|
|
|
</tu>
|
|
|
|
|
|
|
|
% figures
|
|
|
|
|
|
|
|
<figure> + "<FIGURE>" +
|
|
|
|
</figure> + "</FIGURE>" +
|
|
|
|
|
|
|
|
<eps> + "<EPS FILE=\"[FILE]\">" +
|
2016-09-29 17:20:04 +08:00
|
|
|
</eps>
|
|
|
|
|
2000-05-11 20:00:35 +08:00
|
|
|
<img> + "<IMG SRC=\"[SRC]\">" +
|
|
|
|
</img>
|
|
|
|
|
|
|
|
<ph> + "<PH VSPACE=\"[VSPACE]\">" +
|
2016-09-29 17:20:04 +08:00
|
|
|
</ph>
|
2000-05-11 20:00:35 +08:00
|
|
|
|
|
|
|
<caption> + "<CAPTION>"
|
|
|
|
</caption> "</CAPTION>" +
|
|
|
|
|
|
|
|
% tables
|
|
|
|
|
|
|
|
<table> + "<CENTER><TABLE BORDER><TR><TD>\n" +
|
|
|
|
</table> + "</TD></TR></TABLE></CENTER>\n" +
|
|
|
|
|
|
|
|
<tabular> + "<BR>\n" +
|
|
|
|
</tabular> + "\n" +
|
|
|
|
|
|
|
|
<rowsep> "</TD></TR><TR><TD>" +
|
|
|
|
</rowsep>
|
|
|
|
|
|
|
|
<colsep> "</TD><TD>"
|
|
|
|
</colsep>
|
|
|
|
|
|
|
|
<hline> + "" +
|
|
|
|
</hline>
|
|
|
|
|
|
|
|
% slides
|
|
|
|
|
|
|
|
<slides> + "<SLIDES>" +
|
|
|
|
</slides> + "</SLIDES>" +
|
|
|
|
|
|
|
|
<slide> + "<SLIDE>" +
|
|
|
|
</slide> + "</SLIDE>" +
|
|
|
|
|
|
|
|
% letters
|
|
|
|
|
|
|
|
|
|
|
|
<letter> + "<LETTER OPTS=\"[OPTS]\">" +
|
|
|
|
</letter> + "</LETTER>" +
|
|
|
|
|
|
|
|
<telefax> + "<TELEFAX OPTS=\"[OPTS]\">" +
|
|
|
|
</telefax> + "</TELEFAX>" +
|
|
|
|
|
|
|
|
<opening> + "<OPENING>"
|
|
|
|
</opening> "</OPENING>" +
|
|
|
|
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<from> + "<FROM>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</from> + "</FROM>" +
|
|
|
|
|
|
|
|
|
|
|
|
<to> + "<TO>"
|
|
|
|
|
|
|
|
</to> + "</TO>" +
|
|
|
|
|
|
|
|
% first end definition of name
|
|
|
|
|
|
|
|
<address> + "<ADDRESS>" +
|
|
|
|
</address> + "</ADDRESS>" +
|
|
|
|
|
|
|
|
<email> + "<EMAIL>"
|
|
|
|
</email> "</EMAIL>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<phone> + "<PHONE>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</phone> "</PHONE>" +
|
|
|
|
|
|
|
|
|
|
|
|
<fax> + "<FAX>"
|
|
|
|
</fax> "</FAX>" +
|
|
|
|
|
|
|
|
<subject> + "<SUBJECT>"
|
|
|
|
</subject> "</SUBJECT>" +
|
|
|
|
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<sref> + "<SREF>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</sref> "</SREF>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<rref> + "<RREF>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</rref> "</RREF>" +
|
|
|
|
|
|
|
|
<rdate> + "<RDATE>"
|
|
|
|
</rdate> "</RDATE>" +
|
|
|
|
|
2016-09-29 17:20:04 +08:00
|
|
|
<closing> + "<CLOSING>"
|
2000-05-11 20:00:35 +08:00
|
|
|
</closing> "</CLOSING>" +
|
|
|
|
|
|
|
|
<cc> + "<CC>"
|
|
|
|
</cc> "</CC>" +
|
|
|
|
|
|
|
|
<encl> + "<ENCL>"
|
|
|
|
</encl> "</ENCL>" +
|
|
|
|
|
|
|
|
<ps> + "<PS>" +
|
|
|
|
</ps> + "</PS>" +
|
|
|
|
|
|
|
|
% end of html replacement file
|