diff options
| -rw-r--r-- | docs/Makefile | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/docs/Makefile b/docs/Makefile index ce3561ef..1524df0a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,17 +1,11 @@ # $Id$ -all:: rpki-db-schema.pdf +all: rpki-db-schema.pdf sample-irdb.pdf repository-engine-objects.pdf bpki.pdf -rpki-db-schema.pdf: rpki-db-schema.sql - sh ../scripts/graphviz-sql.sh rpki-db-schema.sql +.SUFFIXES: .pdf .sql .dot -all:: sample-irdb.pdf +.sql.pdf: + sh ../scripts/graphviz-sql.sh $< -sample-irdb.pdf: sample-irdb.sql - sh ../scripts/graphviz-sql.sh sample-irdb.sql - -all:: repository-engine-objects.pdf - -repository-engine-objects.pdf: repository-engine-objects.dot - dot -Tps2 repository-engine-objects.dot | ps2pdf - $@.tmp - mv $@.tmp $@ +.dot.pdf: + dot -Tps2 $< | ps2pdf - $@ |