Render man pages to PDF on OS X.

pman.sh

#!/bin/bash

REMOTE=
REFRESH=
CACHE_SUBDIR="localhost"
MAN_OPTS=


function main ()
{
    while getopts "hfr:" arg; do
        if [ "$arg" = "?" ]; then
            usage
        fi

        case $arg in
            h) usage;;
            f) REFRESH=1;;
            r) REMOTE="$OPTARG"; CACHE_SUBDIR="$OPTARG";;
        esac
    done

    shift $(( $OPTIND - 1 ))

    for man_path in $(run_man -w "$@"); do
        handle_man_path "$man_path"
    done
}


function usage ()
{
    echo "Usage: $(basename "$0") [-r <ssh-host>] [-f] [--] <man args>"
    exit 1
}


function handle_man_path ()
{
    man_path="$1"

    pdf_path="${HOME}/Library/Caches/pman/${CACHE_SUBDIR}${man_path}"
    pdf_path="${pdf_path%.gz}.pdf"

    if [[ ! -e "$pdf_path" || -n "$REFRESH" ]]; then
        mkdir -p "$(dirname "$pdf_path")"
        run_man -t "$man_path" | pstopdf -i -o "$pdf_path"
    fi

    if [[ -e "$pdf_path" ]]; then
        open "$pdf_path"
    fi
}


function run_man ()
{
    if [[ -z "$REMOTE" ]]; then
        man ${MAN_OPTS} "$@"
    else
        ssh "$REMOTE" -- man ${MAN_OPTS} "$@"
    fi
}


main "$@"