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



---

diff --git a/refpolicy/doc/policy.dtd b/refpolicy/doc/policy.dtd
index 166f827..b415fd4 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