From fcd63d6c41899234ce039d57027de2b638011689 Mon Sep 17 00:00:00 2001 From: Reiner Herrmann Date: Tue, 28 Jan 2020 20:00:41 +0100 Subject: profiles: whitelist /usr/share/doc in some profiles --- etc/firefox.profile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'etc/firefox.profile') diff --git a/etc/firefox.profile b/etc/firefox.profile index 50f40a039..0530516d8 100644 --- a/etc/firefox.profile +++ b/etc/firefox.profile @@ -14,6 +14,8 @@ mkdir ${HOME}/.mozilla whitelist ${HOME}/.cache/mozilla/firefox whitelist ${HOME}/.mozilla +whitelist /usr/share/doc +whitelist /usr/share/gtk-doc/html whitelist /usr/share/mozilla whitelist /usr/share/webext include whitelist-usr-share-common.inc -- cgit v1.2.3-70-g09d2