diff options
author | Miroslav Grepl <mgrepl@redhat.com> | 2014-04-11 09:37:53 +0200 |
---|---|---|
committer | Miroslav Grepl <mgrepl@redhat.com> | 2014-04-11 09:37:53 +0200 |
commit | 47be9ff57e72906660bb62a515222f482131e1fb (patch) | |
tree | 2cb0ef0ba48d73b1df7cc0915754a17e19464bb6 /sechecker/profiles/sechecker.dtd | |
download | setools-master.tar.gz setools-master.tar.xz setools-master.zip |
Create setools-3.3.7 git repomaster
Diffstat (limited to 'sechecker/profiles/sechecker.dtd')
-rw-r--r-- | sechecker/profiles/sechecker.dtd | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/sechecker/profiles/sechecker.dtd b/sechecker/profiles/sechecker.dtd new file mode 100644 index 0000000..d0aa054 --- /dev/null +++ b/sechecker/profiles/sechecker.dtd @@ -0,0 +1,19 @@ +<!ELEMENT item EMPTY> +<!ATTLIST item value NMTOKEN #REQUIRED> + +<!ELEMENT module (output, option?)> +<!ATTLIST module name ID #REQUIRED> + +<!ELEMENT option (item+)> +<!ATTLIST option name NMTOKEN #REQUIRED> + +<!ELEMENT output EMPTY> +<!ATTLIST output value (quiet|short|verbose|none) #REQUIRED> + +<!ELEMENT profile (module+)> + +<!ELEMENT sechecker (profile)> +<!ATTLIST sechecker version NMTOKEN #REQUIRED> + + + |