#!/bin/bash # script de conversion du manuel en PDF et ascii. if [ ! -f shlatex.1 ] then bunzip2 shlatex.1.bz2 fi cp shlatex.1 "shlatex.help" groff -mandoc -Tps shlatex.1 > shlatex.ps bzip2 shlatex.1 pstops -pa4 -w21cm -h29.7cm "1:0(-0.3cm,-1.5cm)" shlatex.ps shlatexA4.ps mv shlatexA4.ps shlatex.ps ps2pdf13 shlatex.ps rm -f shlatex.ps #acroread shlatex.pdf & rplc "\\" "\\\\" "`cat shlatex.help`" > "shlatex.help" rplc "\"" "\\\"" "`cat shlatex.help`" > "shlatex.help" manuel=`cat shlatex.help`; echo "echo \"$manuel\";" > "shlatex.help"