diff options
author | Ondřej Nový <ondrej.novy@firma.seznam.cz> | 2016-02-04 16:02:42 +0100 |
---|---|---|
committer | John Dickinson <me@not.mn> | 2016-02-10 14:16:56 -0800 |
commit | cc8dc88b55b44ca2a1fd65c049f3cfec22eb5525 (patch) | |
tree | 414144c29dbfb9ad3a1fb0d316b71fa52497cc8b /.manpages | |
parent | 4e370e5116436d44acf53e9e9f05869db13589d7 (diff) | |
download | swift-cc8dc88b55b44ca2a1fd65c049f3cfec22eb5525.tar.gz |
Script for checking sanity of manpages
Change-Id: Ia27b0ecf6a3267eb51f8a6562721dca72f128915
Diffstat (limited to '.manpages')
-rwxr-xr-x | .manpages | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.manpages b/.manpages new file mode 100755 index 000000000..69fcfc74d --- /dev/null +++ b/.manpages @@ -0,0 +1,18 @@ +#!/bin/sh + +RET=0 +for MAN in doc/manpages/* ; do + OUTPUT=$(LC_ALL=en_US.UTF-8 MANROFFSEQ='' MANWIDTH=80 man --warnings -E UTF-8 -l \ + -Tutf8 -Z "$MAN" 2>&1 >/dev/null) + if [ -n "$OUTPUT" ] ; then + RET=1 + echo "$MAN:" + echo "$OUTPUT" + fi +done + +if [ "$RET" -eq "0" ] ; then + echo "All manpages are fine" +fi + +exit "$RET" |