diff options
author | Rob Austein <sra@hactrn.net> | 2007-09-25 18:07:16 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2007-09-25 18:07:16 +0000 |
commit | 18067187c3a020803a2a4cec2a37349914758140 (patch) | |
tree | 37116c0711a4c2b08f4a30a81c4062e7847c9867 | |
parent | 612dd4b86d8a67d71e7f37c75de31edefead64a8 (diff) |
Add Makefile
svn path=/docs/Makefile; revision=1026
-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 $@ |