doc/check-docs: Return nonzero if discrepancies are found.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 8 Aug 2019 14:57:45 +0000 (15:57 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 8 Aug 2019 14:57:45 +0000 (15:57 +0100)
commit9252626a58343d3256feb3b8c0456749ec1b4300
tree76ea307ad836639413dcf420f832aaa11e8bbcbd
parente05aabbb81cddec46b3d9da802f632c3b20c67d1
doc/check-docs: Return nonzero if discrepancies are found.
doc/check-docs