From 83ddb3e5b276613ad2be190cebf74401daebef03 Mon Sep 17 00:00:00 2001
From: Fred-Barclay <Fred-Barclay@users.noreply.github.com>
Date: Sun, 17 Feb 2019 12:09:02 -0600
Subject: Add alternatives to private-etc for profiles in etc/

See discussion in #2399
---
 etc/mupdf.profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/mupdf.profile')

diff --git a/etc/mupdf.profile b/etc/mupdf.profile
index 011e85c0e..59ad36305 100644
--- a/etc/mupdf.profile
+++ b/etc/mupdf.profile
@@ -37,7 +37,7 @@ tracelog
 
 # private-bin mupdf,sh,tempfile,rm
 private-dev
-private-etc fonts
+private-etc alternatives,fonts
 private-tmp
 
 # mupdf will never write anything
-- 
cgit v1.2.3-70-g09d2