- if (name.equals("ibex-doc")) {
- String title = "You forgot the title, you idiot!";
- String author = "Your Mom";
- String email = null;
- String subtitle = null;
- for(int i=0; i<e.getAttrLen(); i++) {
- if (e.getAttrKey(i).equals("title")) title = e.getAttrVal(i);
- if (e.getAttrKey(i).equals("author")) author = e.getAttrVal(i);
- if (e.getAttrKey(i).equals("email")) email = e.getAttrVal(i);
- if (e.getAttrKey(i).equals("subtitle")) subtitle = e.getAttrVal(i);
- }
- System.out.println("\\documentclass{article}");
- System.out.println("\\def\\ninept{\\def\\baselinestretch{.95}\\let\\normalsize\\small\\normalsize}");
- System.out.println("\\ninept");
- System.out.println("\\usepackage{graphicx}");
- System.out.println("\\usepackage{amssymb,amsmath,epsfig,alltt}");
- System.out.println("\\sloppy");
- System.out.println("\\usepackage{palatino}");
- System.out.println("\\usepackage{sectsty}");
- System.out.println("\\allsectionsfont{\\sffamily}");
- System.out.println("\\sectionfont{\\pagebreak\\leftskip=-2cm\\hrulefill\\\\\\sffamily\\bfseries\\raggedleft\\vspace{1cm}}");
- System.out.println("\\subsectionfont{\\dotfill\\\\\\sffamily\\raggedright\\hspace{-4cm}}");
- System.out.println("\\newdimen\\sectskip");
- System.out.println("\\newdimen\\subsectskip");
- System.out.println("\\newdimen\\saveskip");
- System.out.println("\\saveskip=\\leftskip");
- System.out.println("\\sectskip=-2cm");
- System.out.println("\\subsectskip=0cm");
- System.out.println("\\let\\oldsection\\section");
- System.out.println("\\let\\oldsubsection\\subsection");
- System.out.println("\\def\\subsection#1{\\leftskip=\\sectskip\\oldsubsection{#1}\\leftskip=0cm}");
- System.out.println("\\usepackage{parskip}");
- System.out.println("\\usepackage{tabularx}");
- System.out.println("\\usepackage{alltt}");
- System.out.println("\\usepackage[pdftex,bookmarks=true]{hyperref}");
- System.out.println("");
- System.out.println("\\begin{document}");
- System.out.println("");
- System.out.println("\\title{\\textbf{\\textsf{");
- System.out.println(title);
- if (subtitle != null) System.out.println("\\\\{\\large " + subtitle + "}");
- System.out.println("}}}");
- if (author != null) {
- System.out.println("\\author{");
- System.out.println(author);
- if (email != null) System.out.println("\\\\{\\tt " + email + "}");
- System.out.println("}");
- }
- System.out.println("");
- System.out.println("\\maketitle");
- System.out.println("\\clearpage");
- System.out.println("\\tableofcontents");
- System.out.println("\\clearpage");
- System.out.println("\\onecolumn");
- nodeStack.addElement(new Node());
- } else if (name.equals("section") || name.equals("appendix")) {
- String secname = "unknown";
- for(int i=0; i<e.getAttrLen(); i++) if (e.getAttrKey(i).equals("title")) secname = e.getAttrVal(i);
- nodeStack.addElement(new Section(secname, name.equals("appendix")));
- } else if (name.equals("b")) { nodeStack.addElement(new B());
- } else if (name.equals("i")) { nodeStack.addElement(new I());
- } else if (name.equals("tt")) { nodeStack.addElement(new TT());
- } else if (name.equals("list")) { nodeStack.addElement(new List());
- } else if (name.equals("pre")) { nodeStack.addElement(new PRE());
- } else if (name.equals("ref")) { buffer++;
- } else if (name.equals("link")) {
- buffer++;
- for(int i=0; i<e.getAttrLen(); i++) if (e.getAttrKey(i).equals("text")) addText(e.getAttrVal(i));
- } else if (name.equals("definition")) { buffer++;
- } else if (name.equals("property")) { buffer++;
- } else { System.err.println("warning: unknown tag " + name);
- buffer++;