1 files changed, 1 insertions, 2 deletions

diff --git a/etc/gnome-documents.profile b/etc/gnome-documents.profile
index 36b69ce90..078e8c34e 100644
--- a/etc/gnome-documents.profile
+++ b/etc/gnome-documents.profile
@@ -13,6 +13,7 @@ noblacklist ${DOCUMENTS}
 
 include disable-common.inc
 include disable-devel.inc
+include disable-exec.inc
 include disable-interpreters.inc
 include disable-passwdmgr.inc
 include disable-programs.inc
@@ -38,5 +39,3 @@ private-cache
 private-dev
 private-tmp
 
-noexec ${HOME}
-noexec /tmp