doc fixups

darcs-hash:20040407105855-5007d-1d324c5c259db37f53f25b35f84d6298c8237e1f.gz

diff --git a/src/org/ibex/util/Doc.java b/src/org/ibex/util/Doc.java
index 9770a99..2554952 100644 (file)
--- a/src/org/ibex/util/Doc.java
+++ b/src/org/ibex/util/Doc.java
@@ -401,8 +401,13 @@ public class Doc extends XML {
                 sb.append(pile);
                 sb.append("\n\n\\begin{slide}\n");
                 sb.append("\\slideheading{"+fixLatex(name)+"}\n");
-                super.dumpLatex(sb);
+                for(int i=0; i<children.size(); i++)
+                    if (children.elementAt(i) instanceof String)
+                        sb.append(fixLatex(children.elementAt(i).toString()));
                 sb.append("\n\n\\end{slide}\n");
+                for(int i=0; i<children.size(); i++)
+                    if (children.elementAt(i) instanceof String)
+                     ((Node)children.elementAt(i)).dumpLatex(sb);
             } else {
                 if (secs.length() == 0)
                     sb.append("\\newpage\n\n");