Submit Hint Search The Forums LinksStatsPollsHeadlinesRSS
14,000 hints and counting!

Click here to return to the 'Slightly improved' hint
The following comments are owned by whoever posted them. This site is not responsible for what they say.
Slightly improved
Authored by: owain_vaughan on May 15, '01 06:01:20AM

if (! -e /tmp/$1.pdf) then
set m=`man -w $1` || exit
set c=`grog $m`
$c | ps2pdf - /tmp/$1.pdf
open /tmp/$1.pdf

This way, the script exits nicely if the page doesn't exist, and
doesn't recreate the PDF file if it already exists in /tmp

[ Reply to This | # ]