#!/bin/bash

if test $DISPLAY; then
	MANWIDTH="76"
fi
if test $MANWIDTH; then
	MANWIDTH="${MANWIDTH}" man -P gvmanpager $@
else
	man -P gvmanpager $@
fi