#!/bin/bash

function addps {
    ( echo .sizes 12000 ; echo .pvs 3 ) | cat - $1 | groff -t -e -man -Tps >> ol-manpages.ps
}

rm -f ol-manpages.ps
touch ol-manpages.ps
addps ol.1
addps olol2tab.1
addps tab2olol.1
addps hnb2olol.1
addps ololfiles.5
ps2pdf ol-manpages.ps ol-manpages.pdf

