jenkins: add a script to check options in manpages
authorJean Privat <jean@pryen.org>
Wed, 21 Oct 2015 02:39:22 +0000 (22:39 -0400)
committerJean Privat <jean@pryen.org>
Wed, 21 Oct 2015 15:09:53 +0000 (11:09 -0400)
commit73de374d32c7c70a603c1ad06faf7e88209260bc
tree800d25f9552964071d2360e89ca3ba9e12d2d75b
parentcf81003f3ad59329b045d3ba9f8173f496c46a2a
jenkins: add a script to check options in manpages

Signed-off-by: Jean Privat <jean@pryen.org>
misc/jenkins/check_manpages.sh [new file with mode: 0755]