Enable tagging for TeX PRs

2019-03-24 15:45:01 -04:00 · 2019-03-24 15:45:01 -04:00 · f95b815057
parent 836b629629
commit f95b815057
1 changed files with 4 additions and 0 deletions
--- a/config.public.json
+++ b/config.public.json
@ -174,6 +174,10 @@
        "6.topic: steam": [
            "pkgs/games/steam"
        ],
+        "6.topic: TeX": [
+            "pkgs/tools/typesetting/tex",
+            "doc/languages-frameworks/texlive.xml"
+        ],
        "6.topic: vim": [
            "pkgs/applications/editors/vim",
            "pkgs/misc/vim-plugins",