Convertendo man pages em PDFs (Versão CShell)

Descrição

Esconder código-fonte

#!/bin/csh -f
#
# Convertendo man pages em arquivos pdf.
#
# Sandro Marcell (sandro_marcell@yahoo.com.br)

# Programas necessários:
which gs >& /dev/null || echo "-> Instale o Ghostscript." && exit 1
which troff >& /dev/null || echo "-> Instale o Troff" && exit 1

# Checando parâmetros:
if ($#argv != 1) goto Uso 
   
# O comando especificado existe?
which $1 >& /dev/null || echo "[$1] Comando não encontrado." && exit 1

# Existe man page para o comando especificado?
whereis -m $1 | fgrep "man" >& /dev/null 
if ($status != 0) goto Aviso

# Iniciando conversão:
# 1 - Convertendo para Postscript:
man -t $1 > $1.ps
if ($status == 0) then

   echo "Convertendo..." && sleep 1

   # 2 - Convertendo Postscript em pdf:
   gs -dQUIET -dSAFER -dNOPAUSE -dBATCH -sDEVICE=pdfwrite \
   -sOutputFile=$1.pdf $1.ps && rm -f $1.ps >& /dev/null
   
   sleep 1 && echo "Arquivo pdf criado." && exit 1

else
   echo "-> Erro ao criar arquivo pdf." && exit 1
endif

# Marcações:
Uso:
echo "Uso: $0:t COMANDO" && exit 1
Aviso:
echo "-> Não há man page disponível para [$1]" && exit 1
# Fim