man2pdf

#
# man2pdf: convert a man page to a pdf file
# syntax:  man2pdf <manpage-name> 
#                  [<directory>] (default: /Users/user/Desktop)
#                  [0]
#
#!/bin/bash
if [ -z "$1" ] ;
then
  echo
  echo 'You must specify a man page name ...'
  echo
  echo syntax: 'man2pdf <manpage-name> [<directory>] (default:' $HOME'/Desktop)'
  echo 
  exit 1
else 
  manpage=$1
fi
if [ -z "$2" ] ;
then
  dirout=.
  open=1
else 
  dirout=$2
fi
#echo dirout is $dirout
if [ ! -d "$dirout" ]
then
  echo 
  echo "Volume or directory" \'$dirout\' does not exist...
  echo
  exit 1
fi
if [ ! -z $3 ]; 
then
  open=1
fi
man -t $manpage > $dirout/$manpage.ps 2> /dev/null
ret=$?
if [ $ret -gt 0 ] ;
then
  echo
  echo The \'$manpage\' man page not found: error $ret encountered ...
  echo
  exit 1
fi
ps2pdf $dirout/$manpage.ps $dirout/$manpage.pdf
if [ $? -eq 0 ] ;
then
  rm -f $dirout/$manpage.ps
fi
echo 
echo $dirout/$manpage.pdf created ...
echo
if [ $open ] ; 
then
  open $dirout/$manpage.pdf
fi