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",