From f95b8150574ed547676447a067dad1ffb4dcd298 Mon Sep 17 00:00:00 2001
From: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
Date: Sun, 24 Mar 2019 15:45:01 -0400
Subject: [PATCH] Enable tagging for TeX PRs

---
 config.public.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/config.public.json b/config.public.json
index f5a08e1..aa2e122 100644
--- 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",