#!/bin/bash

man -t "$1" | ps2pdf - "$1".pdf