> On Thu, Aug 1, 2013 at 2:08 AM, Ivan Lezhnjov IV <iliv@commandprompt.com>wrote: > > > The patch does pass 'make check' and 'make html' successfully. > > > Your patch does not add new code, but just documentation, so there is no > risk that make check would fail, except if an error has been introduced by > another commit at some point...
There's "make check" in the doc/src/sgml directory. It checks for SGML consistency, absence of tabs and such.
Oh thanks. Sorry for my mistake. This is good to know.