diff options
| author | Lars Thorsen <[email protected]> | 2013-01-15 12:06:28 +0100 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2013-01-21 14:20:23 +0100 |
| commit | 29fcde84ea712308452a990b5baa2fd688f0c860 (patch) | |
| tree | b8b9de38072f30773dc828843e93cc3c506f61fe /lib | |
| parent | 14e9c6fbdafc870016a3f586168d689859701274 (diff) | |
| download | otp-29fcde84ea712308452a990b5baa2fd688f0c860.tar.gz otp-29fcde84ea712308452a990b5baa2fd688f0c860.tar.bz2 otp-29fcde84ea712308452a990b5baa2fd688f0c860.zip | |
[erl_docgen] Add xmllint target for the documentation and fix some DTD errors
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/erl_docgen/priv/dtd/common.refs.dtd | 5 | ||||
| -rw-r--r-- | lib/erl_docgen/priv/dtd/erlref.dtd | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/lib/erl_docgen/priv/dtd/common.refs.dtd b/lib/erl_docgen/priv/dtd/common.refs.dtd index 73a3501071..93592607df 100644 --- a/lib/erl_docgen/priv/dtd/common.refs.dtd +++ b/lib/erl_docgen/priv/dtd/common.refs.dtd @@ -29,7 +29,9 @@ <!ELEMENT func (name+,type_desc*,fsummary,type?,desc?) > <!-- ELEMENT name is defined in each ref dtd --> <!ELEMENT fsummary (#PCDATA|c|em)* > -<!ELEMENT type (v,d?)+ > +<!ELEMENT type (v,d?)* > +<!ATTLIST type variable CDATA #IMPLIED + name_i CDATA #IMPLIED> <!ELEMENT v (#PCDATA) > <!ELEMENT d (#PCDATA|c|em)* > <!ELEMENT desc (%block;|quote|br|marker|warning|note|anno)* > @@ -41,3 +43,4 @@ <!ELEMENT datatypes (datatype)+ > <!ELEMENT datatype (name+,desc?) > <!ELEMENT type_desc (#PCDATA) > +<!ATTLIST type_desc variable CDATA #REQUIRED> diff --git a/lib/erl_docgen/priv/dtd/erlref.dtd b/lib/erl_docgen/priv/dtd/erlref.dtd index 9905086ff4..0cc5cfa06d 100644 --- a/lib/erl_docgen/priv/dtd/erlref.dtd +++ b/lib/erl_docgen/priv/dtd/erlref.dtd @@ -29,3 +29,6 @@ <!-- `name' is used in common.refs.dtd and must therefore be defined in each *ref. dtd --> <!ELEMENT name (#PCDATA) > +<!ATTLIST name name CDATA #IMPLIED + arity CDATA #IMPLIED + clause_i CDATA #IMPLIED> |