[gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/contrib/

[Jason Zaman]

commit:     86cf7f0c01b889767399e16bd315b2b8bf177340
Author:     Chris PeBenito <pebenito <AT> ieee <DOT> org>
AuthorDate: Sun Apr 16 22:45:05 2017 +0000
Commit:     Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Sun Apr 30 14:17:43 2017 +0000
URL:        
https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=86cf7f0c

wm: interface docs adjustment.

 policy/modules/contrib/wm.if | 29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

diff --git a/policy/modules/contrib/wm.if b/policy/modules/contrib/wm.if
index e8fd7706..45ce9949 100644
--- a/policy/modules/contrib/wm.if
+++ b/policy/modules/contrib/wm.if
@@ -223,22 +223,21 @@ interface(`wm_application_domain',`
 ')
 
 ########################################
-### <summary>
-###    Write wm unnamed pipes.
-### </summary>
+## <summary>
+##     Write wm unnamed pipes.
+## </summary>
 ## <param name="role_prefix">
-###    <summary>
-###    The prefix of the user domain (e.g., user
-###    is the prefix for user_t).
-###    </summary>
-### </param>
-### <param name="domain">
-###    <summary>
-###    Domain allowed access.
-###    </summary>
-### </param>
-### </param>
-##
+##     <summary>
+##     The prefix of the user domain (e.g., user
+##     is the prefix for user_t).
+##     </summary>
+## </param>
+## <param name="domain">
+##     <summary>
+##     Domain allowed access.
+##     </summary>
+## </param>
+#
 interface(`wm_write_pipes',`
        gen_require(`
                type $1_t;