https://bugs.documentfoundation.org/show_bug.cgi?id=162879

--- Comment #2 from [email protected] ---
(In reply to Olivier Hallot from comment #1)
... 
> The xmllint DTD checking done on ~2500 files times ~70 languages will make
> the build very slow.

1 run would be enough.
for the record :
% time find source/ -name '*.xhp' -exec xmllint --noout --dtdvalid
helpers/xmlhelp.dtd {} \;
real    0m13.888s
user    0m2.743s
sys     0m5.246s

but would just need to check on couple of files.


> Therefore the DTD checking is done at the gerrit level, once the patch is
> submitted.

this bugzilla is about the DTD itself. 
if you corrupt it, your local make won't complain, jenkins won't complain.
it will only fail on the next .xhp change.


should be 1 line somewhere like CustomTarget_html.mk.
I suggest to REOPEN, and I'll fix it when I get more familiar with this .mk
machinery, or someone already knowlegeable does it.

-- 
You are receiving this mail because:
You are the assignee for the bug.

Reply via email to