From d78fdee465e23108595193e50727846120bd7d54 Mon Sep 17 00:00:00 2001
From: Chris PeBenito <cpebenito@tresys.com>
Date: Tue, 5 Jul 2005 16:03:47 +0000
Subject: [PATCH] add tag for required modules

---
 refpolicy/doc/policy.dtd | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/refpolicy/doc/policy.dtd b/refpolicy/doc/policy.dtd
index 166f8279f..b415fd4be 100644
--- a/refpolicy/doc/policy.dtd
+++ b/refpolicy/doc/policy.dtd
@@ -4,9 +4,12 @@
 <!ELEMENT layer (summary,module+)>
 <!ATTLIST layer
       name CDATA #REQUIRED>
-<!ELEMENT module (summary,desc?,(interface|template)*)>
+<!ELEMENT module (summary,desc?,required?,(interface|template)*)>
 <!ATTLIST module 
       name CDATA #REQUIRED>
+<!ELEMENT required (#PCDATA)>
+<!ATTLIST required
+      val (true|false) "false">
 <!ELEMENT tunable (#PCDATA)>
 <!ATTLIST tunable
       name CDATA #REQUIRED