#!/bin/sh
MANDIR="/usr/share/man/man3"
DESTDIR="/tmp/manpdf"
mkdir -p "${DESTDIR}"
for fname in ${MANDIR}/*; do
# remove leading path
manpage=`basename ${fname}`
# remove .gz extension
manpage="${manpage%.gz}"
echo "writing PDF for ${manpage}..."
gzcat "$fname" | mandoc -Tpdf > "${DESTDIR}/${manpage}.pdf"
done