From 9c25fdd816f2add2336aeff1b252d8e02cfd2cb2 Mon Sep 17 00:00:00 2001
From: Chris PeBenito <cpebenito@tresys.com>
Date: Jun 07 2005 18:49:44 +0000
Subject: add updated dtd



---

diff --git a/refpolicy/doc/policy.dtd b/refpolicy/doc/policy.dtd
new file mode 100644
index 0000000..60b9f48
--- /dev/null
+++ b/refpolicy/doc/policy.dtd
@@ -0,0 +1,22 @@
+<!ELEMENT policy (module+,tunable*)>
+<!ELEMENT module (summary,interface+)>
+<!ATTLIST module 
+      name CDATA #REQUIRED
+      layer CDATA #REQUIRED>
+<!ELEMENT tunable (#PCDATA)>
+<!ATTLIST tunable
+      name CDATA #REQUIRED
+      dftval CDATA #REQUIRED>
+<!ELEMENT summary (#PCDATA)>
+<!ELEMENT interface (description,securitydesc*,parameter+,infoflow)>
+<!ATTLIST interface name CDATA #REQUIRED>
+<!ELEMENT description (#PCDATA)>
+<!ELEMENT securitydesc (#PCDATA)>
+<!ELEMENT parameter (#PCDATA)>
+<!ATTLIST parameter 
+      name CDATA #REQUIRED
+      optional (true|false) "false">
+<!ELEMENT infoflow EMPTY>
+<!ATTLIST infoflow 
+      type CDATA #REQUIRED
+      weight CDATA #IMPLIED>