Add external dependencies for typeset

gap-system · Sep 4, 2023 · eb6e044 · eb6e044
1 parent 3175ce3
commit eb6e044
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/gather_dependencies.py b/tools/gather_dependencies.py
@@ -42,6 +42,7 @@
     "polymaking": ["polymake"],
     "ringsforhomalg": ["singular"],
     "singular": ["singular"],
+    "typeset": ["graphviz", "texlive", "preview-latex-style", "dot2tex"],
     "zeromqinterface": ["libzmq3-dev"],
 }