Blame tests/test_manpages.sh

Packit 6bd9ab
#!/bin/sh
Packit 6bd9ab
Packit 6bd9ab
# test_manpages.sh - run some validity checks on the manual pages
Packit 6bd9ab
#
Packit 6bd9ab
# Copyright (C) 2013 Arthur de Jong
Packit 6bd9ab
#
Packit 6bd9ab
# This library is free software; you can redistribute it and/or
Packit 6bd9ab
# modify it under the terms of the GNU Lesser General Public
Packit 6bd9ab
# License as published by the Free Software Foundation; either
Packit 6bd9ab
# version 2.1 of the License, or (at your option) any later version.
Packit 6bd9ab
#
Packit 6bd9ab
# This library is distributed in the hope that it will be useful,
Packit 6bd9ab
# but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 6bd9ab
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit 6bd9ab
# Lesser General Public License for more details.
Packit 6bd9ab
#
Packit 6bd9ab
# You should have received a copy of the GNU Lesser General Public
Packit 6bd9ab
# License along with this library; if not, write to the Free Software
Packit 6bd9ab
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
Packit 6bd9ab
# 02110-1301 USA
Packit 6bd9ab
Packit 6bd9ab
set -e
Packit 6bd9ab
Packit 6bd9ab
# find manual page directory
Packit 6bd9ab
srcdir="${srcdir-`dirname "$0"`}"
Packit 6bd9ab
top_srcdir="${top_srcdir-${srcdir}/..}"
Packit 6bd9ab
Packit 6bd9ab
# if xmlto is missing, ignore
Packit 6bd9ab
if (xmlto --version) > /dev/null 2> /dev/null
Packit 6bd9ab
then
Packit 6bd9ab
  :
Packit 6bd9ab
else
Packit 6bd9ab
  echo "xmlto not found"
Packit 6bd9ab
  exit 77
Packit 6bd9ab
fi
Packit 6bd9ab
Packit 6bd9ab
# set up a temporary directory
Packit 6bd9ab
tmpdir="test_manpages.tmp"
Packit 6bd9ab
rm -rf "$tmpdir"
Packit 6bd9ab
mkdir "$tmpdir"
Packit 6bd9ab
Packit 6bd9ab
# generate HTML for all manual pages
Packit 6bd9ab
for man in $top_srcdir/man/*.xml
Packit 6bd9ab
do
Packit 6bd9ab
  echo "xmlto $man"
Packit 6bd9ab
  xmlto xhtml-nochunks -o "$tmpdir" "$man"
Packit 6bd9ab
done
Packit 6bd9ab
Packit 6bd9ab
# clean up
Packit 6bd9ab
rm -rf "$tmpdir"