#!/bin/csh

alias info "pinfo"
alias man "pinfo -m"
