After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 523669 - make check: Element publisher content does not follow the DTD, expecting (publishername , address*), got (address)
make check: Element publisher content does not follow the DTD, expecting (pub...
Status: RESOLVED FIXED
Product: gtk-doc
Classification: Platform
Component: general
unspecified
Other Linux
: Normal normal
: 1.11
Assigned To: gtk-doc maintainers
gtk-doc maintainers
Depends on:
Blocks:
 
 
Reported: 2008-03-21 01:45 UTC by Marc-Andre Lureau
Modified: 2008-05-20 17:14 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Marc-Andre Lureau 2008-03-21 01:45:06 UTC 
While doing a make check, I got this error:

xmllint --noout --noent --path C:./C --xinclude --postvalid ./C/gtk-doc-manual.xml
./C/gtk-doc-manual.xml:44: element publisher: validity error : Element publisher content does not follow the DTD, expecting (publishername , address*), got (address)
Document ./C/gtk-doc-manual.xml does not validate

V4.1.2 seems to be quite outdated. I can't find a simple page to tell me what 4.12 expect.

Should it be updated to 4.5, for example?
Comment 1 Stefan Sauer (gstreamer, gtkdoc dev) 2008-05-20 17:14:21 UTC 
I think this is fixed in svn. I had this too. Please reopen if you still get it.