source: trunk/doc/convert_all_eps_to_pdf.sh@ 19

#! /bin/sh

for file in *.eps
do
  echo ">> Converting file $file" 
  ./doc/epstosmth --gsdev=pdfwrite $file
done