sTeX definienda fix

UniFormal · Dec 11, 2023 · 0e56edc · 0e56edc
1 parent 795778c
commit 0e56edc
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala
@@ -395,7 +395,7 @@ trait SHTMLDocumentServer { this : STeXServer =>
         e.plain.classes ::= "varcomp" // TODO
       } else if (hasAttribute(e,"definiendum")) {
         e.plain.classes ::= "definiendum" // TODO
-        elem.plain.attributes.get((HTMLParser.ns_mmt,"definiendum")) match {
+        elem.plain.attributes.get((HTMLParser.ns_shtml,"definiendum")) match {
           case Some(str) =>
             e.plain.attributes((elem.namespace, "data-definiendum-uri")) = str
           case _ =>

diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/LaTeXBuildTarget.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/LaTeXBuildTarget.scala
@@ -545,10 +545,14 @@ class FullsTeX extends Importer with XHTMLParser {
         Process(Seq("bibtex",pdffile.stripExtension.getName),pdffile.up).lazyLines_!
       }
       val usesms = {
-        val sms = bt.inFile.setExtension("sms")
+        val sms = pdffile.setExtension("sms")
         if (sms.exists() && sms.toJava.length() < 2097152) {
+          //println("HERE: Using sms file of size " + sms.toJava.length())
           Seq(("STEX_USESMS","true"))
-        } else Seq()
+        } else {
+          //println("HERE: Not using sms file of size " + sms.toJava.length())
+          Seq()
+        }
       }
       ilog("    -    pdflatex " + bt.inPath + " (second run)")
       buildSingle(bt,usesms:_*)