diff --git a/config.public.json b/config.public.json index 25933f9..522b33e 100644 --- a/config.public.json +++ b/config.public.json @@ -180,6 +180,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",