summaryrefslogtreecommitdiff
path: root/doc/doc-scripts/BuildPDF
blob: b97ccbd19af064cd5a997f634870878606eb9719 (plain)
1
2
3
4
5
6
7
8
9
#! /bin/sh

echo "PDFing the spec"
ps2pdf spec.ps spec.pdf

echo "PDFing the filter spec"
ps2pdf filter.ps filter.pdf

# End