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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 08:19:47 +0000