#!/bin/csh alias info "pinfo" alias man "pinfo -m" .