diff options
Diffstat (limited to '')
-rw-r--r-- | doc/rgdb_specs/Makefile | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/doc/rgdb_specs/Makefile b/doc/rgdb_specs/Makefile index d247a661bc..6510d6f655 100644 --- a/doc/rgdb_specs/Makefile +++ b/doc/rgdb_specs/Makefile @@ -105,4 +105,16 @@ conclusion.texi: conclusion.t Makefile -u "Top" \ -n "" ${*}.t - +garde.eps +layers.eps +process.eps +seq_init.eps +seq_break.eps +seq_detach.eps +convert: + /usr/bin/gs -dMaxBitmap=300000000 -g4500x5500 -sDEVICE=pdfwrite -q -dNOPAUSE -dSAFER -sOutputFile=garde.pdf -- garde.eps -c -quit + /usr/bin/gs -dMaxBitmap=300000000 -g4500x5500 -sDEVICE=pdfwrite -q -dNOPAUSE -dSAFER -sOutputFile=layers.pdf -- layers.eps -c -quit + /usr/bin/gs -dMaxBitmap=300000000 -g4500x5500 -sDEVICE=pdfwrite -q -dNOPAUSE -dSAFER -sOutputFile=process.pdf -- process.eps -c -quit + /usr/bin/gs -dMaxBitmap=300000000 -g4500x5500 -sDEVICE=pdfwrite -q -dNOPAUSE -dSAFER -sOutputFile=seq_init.pdf -- seq_init.eps -c -quit + /usr/bin/gs -dMaxBitmap=300000000 -g4500x5500 -sDEVICE=pdfwrite -q -dNOPAUSE -dSAFER -sOutputFile=seq_break.pdf -- seq_break.eps -c -quit + /usr/bin/gs -dMaxBitmap=300000000 -g4500x5500 -sDEVICE=pdfwrite -q -dNOPAUSE -dSAFER -sOutputFile=seq_detach.pdf -- PCIreg.eps -c -quit |