]> granicus.if.org Git - pgbouncer/commit
projects / pgbouncer / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f18cdc) | patch
doc: Catch warnings and errors from rst2man
authorPeter Eisentraut <peter@eisentraut.org>
Thu, 14 Dec 2017 19:06:59 +0000 (14:06 -0500)
committerPeter Eisentraut <peter@eisentraut.org>
Thu, 14 Dec 2017 19:07:32 +0000 (14:07 -0500)
commit1e1694fce97b2f22e42e030f22c88945fa74fc22
treebec6b003d9cec923c399b09e6ef5948f2f7971d9tree | snapshot
parent9f18cdc41b5f7cc5e73a70cc007b87fcebf9d599commit | diff
doc: Catch warnings and errors from rst2man

Make rst2man exit with a non-zero exit status when there are warnings or
errors in the source.
doc/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.