diff options
| author | Lars Thorsen <[email protected]> | 2015-12-04 13:08:44 +0100 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2015-12-04 13:08:44 +0100 |
| commit | c5e3f065998057c2bb304d75f9ec00228bacfc36 (patch) | |
| tree | 08538007c14e298db3bd5271fc3026693575c17d /lib/erl_docgen/priv/dtd/common.header.dtd | |
| parent | 8fa96128d4a02019463d566e635f774e3fca7c67 (diff) | |
| parent | f86828fead59ba0a28658d3f5e7d8dc80f1c73fb (diff) | |
| download | otp-c5e3f065998057c2bb304d75f9ec00228bacfc36.tar.gz otp-c5e3f065998057c2bb304d75f9ec00228bacfc36.tar.bz2 otp-c5e3f065998057c2bb304d75f9ec00228bacfc36.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/erl_docgen/priv/dtd/common.header.dtd')
| -rw-r--r-- | lib/erl_docgen/priv/dtd/common.header.dtd | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/erl_docgen/priv/dtd/common.header.dtd b/lib/erl_docgen/priv/dtd/common.header.dtd index 71a8662572..eb27dc8f97 100644 --- a/lib/erl_docgen/priv/dtd/common.header.dtd +++ b/lib/erl_docgen/priv/dtd/common.header.dtd @@ -18,8 +18,8 @@ $Id$ --> <!ELEMENT header (copyright?,legalnotice?,title,shorttitle?, - prepared,responsible?,docno,approved?, - checked?,date,rev,file?) > + prepared?,responsible?,docno?,approved?, + checked?,date?,rev?,file?) > <!-- The titlestyle attribute is only defined to make all the book.xml files |