removed old sTeX build targets

UniFormal · Jul 24, 2023 · b7473b2 · b7473b2
1 parent 76099d8
commit b7473b2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/src/mmt-api/resources/mmt-web/script/buildqueue/buildserver.js b/src/mmt-api/resources/mmt-web/script/buildqueue/buildserver.js
@@ -33,7 +33,7 @@ angular.module('buildQueueApp', []).controller('QueueViewer',
       $scope.getArchives();
       $scope.targets =
         { list: []
-        , current: "sms"
+        , current: "fullstex"
         };
       $scope.getTargets = function() {
         $http.get('/:buildserver/targets').success(function(data) {

diff --git a/src/mmt-api/resources/mmtrc b/src/mmt-api/resources/mmtrc
@@ -20,9 +20,6 @@ xhtml-moodle info.kwarc.mmt.stex.vollki.MoodleExporter
 pdflatex   info.kwarc.mmt.stex.PdfLatex
 pdfbiblatex info.kwarc.mmt.stex.PdfBibLatex
 fullstex info.kwarc.mmt.stex.FullsTeX
-tikzsvg    info.kwarc.mmt.stex.TikzSvg
-alltex     info.kwarc.mmt.stex.AllTeX
-allpdf     info.kwarc.mmt.stex.AllPdf
 stex-xhtml info.kwarc.mmt.stex.LaTeXToHTML
 xhtml-omdoc info.kwarc.mmt.stex.HTMLToOMDoc
 stex-omdoc info.kwarc.mmt.stex.STeXToOMDoc