% Converts qwertz files to html files ready for fixref and html2html. % % This file is R-Rated because of uglyness. % % -Magnus + "<@@enddoc>" +
+ "<@@enddoc>" + + "<@@enddoc>" + + "<@@enddoc>" + + "<@@enddoc>" + % Manual Pages are expected to be formatted using nroff (or groff), unless % they are included as sections of other qwertz documents. + "<@@title>" + "

" "

" + + "

" "

" " and " + "Thanks " + "

" "

" + "
"
+ "" + + "" + + "

Comment

" +
+ "


\n"
"\n
" + + "

Appendix

" +
+ "<@@chapt>" + "<@@endchapt>" + + "<@@sect>" + "<@@endsect>" + + "<@@ssect>" + "<@@endssect>" + + "<@@head>" + "<@@head>" + "<@@head>" + "<@@endhead>" +

"

"

"" + "
" + "
    " + + "
" + + "
    " + + "
" + + "
" + + "
" + + "
  • " "
  • " + "
    " "
    " "
    " "
    " "[[ID]]" "[[NOTE] ([ID])]" "" "" + "
    " "
    " + "\"" "\"" + "" + + "" + "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "

    Function

    \n"
    "\n" "

    " "

    \n" % url support by HG + "<@@url>[URL]\n" "[NAME]\n" "<@@endurl>" + "[NAME]" "RFC [ID]" % ref modified to have an optional name field + "<@@ref>[ID]\n" "[NAME]\n" "<@@endref>" + + "<@@ref>[ID]" + + "<@@ref>[ID]" + + "" + + "" + "" "" + "" + + "
    \n
    "		+
    		+	"
    \n
    " + + "
    "		+
    		+	"
    " + + "
    " + + "
    " + + "
    " + + "
    " + % theorems and such + "" + "" + + "" + "" + + "" + "" + + "" + "" + + "" + "" + + "" + "" + "" "" % mathematics + "" + + "" + + "" + + "" + "" "" "" "" "" "" "" "" "" "" "" ""
      "
        "
      "
    " "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" % figures
    + "
    " +
    + "
    " + + "" + + "" + + "" + + "" "" + % tables + "
    \n" +
    + "\n" + + "
    \n" +
    + "\n" + "" + "" + "" + % slides + "" + + "" + + "" + + "" + % letters + "" + + "" + + "" + + "" + + "" "" + + "" + "" + + "" + "" + % first end definition of name
    + "
    " +
    + "
    " + + "" "" + + "" "" + + "" "" + + "" "" + + "" "" + + "" "" + + "" "" + + "" "" + + "" "" + + "" "" + + "" + + "" + % end of html replacement file