diff options
| -rw-r--r-- | docs/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 00000000..7a784475 --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,20 @@ +# $Id$ + +all:: + xmllint --noout left-right-xml + +all:: rpki-db-schema.pdf + +rpki-db-schema.pdf: rpki-db-schema.sql + sh ../scripts/graphviz-sql.sh rpki-db-schema.sql + +all:: sample-irdb.pdf + +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 $@ |