Export the Linux Manual to /opt/man in pdf format

export-manual.sh

#!/bin/bash

echo "Installing required software"
apt-get update
apt-get install groff man manpages manpages-dev -y

echo "Creating output directory if it does not exist"
SEARCH_DIR="/usr/share/man/"
OUT_DIR="/opt/man"
mkdir -p $OUT_DIR

echo "Exporting man pages"
for i in `find ${SEARCH_DIR} -name '*.gz'`; do
    NEW_DIR=`dirname $i | sed "s|${SEARCH_DIR}||g"`
    NAME=`basename $i | sed 's|.gz$|.pdf|g'`
    mkdir -p ${OUT_DIR}/${NEW_DIR}
    echo "${i} -> ${OUT_DIR}/${NEW_DIR}/${NAME}"
    zcat $i | groff -mandoc -Tpdf > ${OUT_DIR}/${NEW_DIR}/${NAME}
done