doc/doc-scripts/BuildPDF

   1 #! /bin/sh
   2
   3 echo "PDFing the spec"
   4 ps2pdf spec.ps spec.pdf
   5
   6 echo "PDFing the filter spec"
   7 ps2pdf filter.ps filter.pdf
   8
   9 # End