From 50d3b9e0c4a854914c9213d0bce5dcfde3763c1a Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Mon, 26 Nov 2012 11:07:32 -0500 Subject: [PATCH] Adjust man cache interface names. --- policy/modules/system/miscfiles.if | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/policy/modules/system/miscfiles.if b/policy/modules/system/miscfiles.if index 8e188f791..fc28bc31b 100644 --- a/policy/modules/system/miscfiles.if +++ b/policy/modules/system/miscfiles.if @@ -587,7 +587,7 @@ interface(`miscfiles_manage_man_pages',` ## ## # -interface(`miscfiles_read_man_cache_content',` +interface(`miscfiles_read_man_cache',` gen_require(` type man_cache_t; ') @@ -609,7 +609,7 @@ interface(`miscfiles_read_man_cache_content',` ## ## # -interface(`miscfiles_manage_man_cache_content',` +interface(`miscfiles_manage_man_cache',` gen_require(` type man_cache_t; ')