|
Dominick Grift |
438bd5f |
policy_module(man2html, 1.0.0)
|
|
Dominick Grift |
438bd5f |
|
|
Dominick Grift |
438bd5f |
########################################
|
|
Dominick Grift |
438bd5f |
#
|
|
Dominick Grift |
438bd5f |
# Declarations
|
|
Dominick Grift |
438bd5f |
#
|
|
Dominick Grift |
438bd5f |
|
|
Dominick Grift |
438bd5f |
apache_content_template(man2html)
|
|
Dominick Grift |
438bd5f |
|
|
Dominick Grift |
438bd5f |
type httpd_man2html_script_cache_t;
|
|
Dominick Grift |
438bd5f |
files_type(httpd_man2html_script_cache_t)
|
|
Dominick Grift |
438bd5f |
|
|
Dominick Grift |
438bd5f |
########################################
|
|
Dominick Grift |
438bd5f |
#
|
|
Dominick Grift |
438bd5f |
# Local policy
|
|
Dominick Grift |
438bd5f |
#
|
|
Dominick Grift |
438bd5f |
|
|
Dominick Grift |
438bd5f |
manage_dirs_pattern(httpd_man2html_script_t, httpd_man2html_script_cache_t, httpd_man2html_script_cache_t)
|
|
Dominick Grift |
438bd5f |
manage_files_pattern(httpd_man2html_script_t, httpd_man2html_script_cache_t, httpd_man2html_script_cache_t)
|
|
Dominick Grift |
438bd5f |
manage_lnk_files_pattern(httpd_man2html_script_t, httpd_man2html_script_cache_t, httpd_man2html_script_cache_t)
|
|
Dominick Grift |
438bd5f |
files_var_filetrans(httpd_man2html_script_t, httpd_man2html_script_cache_t, dir)
|
|
Dominick Grift |
438bd5f |
|
|
Dominick Grift |
438bd5f |
files_read_etc_files(httpd_man2html_script_t)
|
|
Dominick Grift |
438bd5f |
|
|
Dominick Grift |
438bd5f |
miscfiles_read_localization(httpd_man2html_script_t)
|
|
Dominick Grift |
438bd5f |
miscfiles_read_man_pages(httpd_man2html_script_t)
|