diff options
Diffstat (limited to '')
| -rw-r--r-- | data/tips/gimp-tips.dtd | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/data/tips/gimp-tips.dtd b/data/tips/gimp-tips.dtd new file mode 100644 index 0000000..eb4f286 --- /dev/null +++ b/data/tips/gimp-tips.dtd @@ -0,0 +1,16 @@ +<!-- Simple DTD for GIMP tips --> + +<!ELEMENT gimp-tips (tip+)> + +<!ELEMENT tip (thetip+)> +<!ATTLIST tip level (start|beginner|intermediate|advanced) #REQUIRED> +<!ATTLIST tip help CDATA #IMPLIED> + +<!ENTITY % markup "(#PCDATA|b|big|tt)*"> + +<!ELEMENT b %markup;> +<!ELEMENT big %markup;> +<!ELEMENT tt %markup;> + +<!ELEMENT thetip %markup;> +<!ATTLIST thetip xml:lang CDATA #IMPLIED> |