diff --git a/profiles/extras/usr.lib.man-db.man b/profiles/extras/usr.lib.man-db.man index 5952574ed..fec2a7c42 100644 --- a/profiles/extras/usr.lib.man-db.man +++ b/profiles/extras/usr.lib.man-db.man @@ -48,5 +48,6 @@ /usr/bin/zsoelim rmix, /usr/share/groff/** r, /usr/share/terminfo/** r, + /usr/share/texmf/teTeX/man/** r, /var/cache/man/** r, }