aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2007-09-25 18:07:16 +0000
committerRob Austein <sra@hactrn.net>2007-09-25 18:07:16 +0000
commit18067187c3a020803a2a4cec2a37349914758140 (patch)
tree37116c0711a4c2b08f4a30a81c4062e7847c9867
parent612dd4b86d8a67d71e7f37c75de31edefead64a8 (diff)
Add Makefile
svn path=/docs/Makefile; revision=1026
-rw-r--r--docs/Makefile20
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 $@