From b305c2adc0fd9d9a8cbec30dffcade86106e0245 Mon Sep 17 00:00:00 2001
From: Miroslav Grepl <mgrepl@redhat.com>
Date: Mon, 16 Dec 2013 13:42:56 +0100
Subject: [PATCH] Fix mozilla.te

---
 policy-rawhide-contrib.patch | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/policy-rawhide-contrib.patch b/policy-rawhide-contrib.patch
index c8e9d8b3..f70931cb 100644
--- a/policy-rawhide-contrib.patch
+++ b/policy-rawhide-contrib.patch
@@ -41916,7 +41916,7 @@ index 6194b80..7fbb9e7 100644
  ')
 +
 diff --git a/mozilla.te b/mozilla.te
-index 11ac8e4..1be2a97 100644
+index 11ac8e4..5c6fae9 100644
 --- a/mozilla.te
 +++ b/mozilla.te
 @@ -6,17 +6,41 @@ policy_module(mozilla, 2.8.0)
@@ -42173,7 +42173,7 @@ index 11ac8e4..1be2a97 100644
  
  term_dontaudit_getattr_pty_dirs(mozilla_t)
  
-@@ -181,56 +196,74 @@ auth_use_nsswitch(mozilla_t)
+@@ -181,56 +196,73 @@ auth_use_nsswitch(mozilla_t)
  logging_send_syslog_msg(mozilla_t)
  
  miscfiles_read_fonts(mozilla_t)
@@ -42281,11 +42281,10 @@ index 11ac8e4..1be2a97 100644
 +	userdom_dontaudit_read_user_tmp_files(mozilla_t)
 +	userdom_dontaudit_list_user_home_dirs(mozilla_t)
 +	userdom_dontaudit_read_user_home_content_files(mozilla_t)
-+	userdom_manage_home_texlive(mozilla_t)
  ')
  
  optional_policy(`
-@@ -244,19 +277,12 @@ optional_policy(`
+@@ -244,19 +276,12 @@ optional_policy(`
  
  optional_policy(`
  	cups_read_rw_config(mozilla_t)
@@ -42307,7 +42306,7 @@ index 11ac8e4..1be2a97 100644
  
  	optional_policy(`
  		networkmanager_dbus_chat(mozilla_t)
-@@ -265,33 +291,32 @@ optional_policy(`
+@@ -265,33 +290,32 @@ optional_policy(`
  
  optional_policy(`
  	gnome_stream_connect_gconf(mozilla_t)
@@ -42355,7 +42354,7 @@ index 11ac8e4..1be2a97 100644
  ')
  
  optional_policy(`
-@@ -300,259 +325,241 @@ optional_policy(`
+@@ -300,259 +324,241 @@ optional_policy(`
  
  ########################################
  #
@@ -42746,7 +42745,7 @@ index 11ac8e4..1be2a97 100644
  ')
  
  optional_policy(`
-@@ -560,7 +567,7 @@ optional_policy(`
+@@ -560,7 +566,7 @@ optional_policy(`
  ')
  
  optional_policy(`
@@ -42755,7 +42754,7 @@ index 11ac8e4..1be2a97 100644
  ')
  
  optional_policy(`
-@@ -568,108 +575,130 @@ optional_policy(`
+@@ -568,108 +574,130 @@ optional_policy(`
  ')
  
  optional_policy(`