X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fibex%2Futil%2FDoc.java;h=255495205b906ab9d037ef9a31e29cdc314b97b5;hb=b1568b13f53ca805911fcd7737daf79492d6be1f;hp=9770a993724c77e377c0a8ec5b433920c5b50d27;hpb=ff2b086d176f8b2323bfd73fb4830cd237b7fa6c;p=org.ibex.core.git

diff --git a/src/org/ibex/util/Doc.java b/src/org/ibex/util/Doc.java
index 9770a99..2554952 100644
--- 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");