summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--papers/Makefile13
1 files changed, 13 insertions, 0 deletions
diff --git a/papers/Makefile b/papers/Makefile
new file mode 100644
index 0000000..43c308e
--- /dev/null
+++ b/papers/Makefile
@@ -0,0 +1,13 @@
+%.html : %.xml
+ xml2rfc $^ $@
+%.txt : %.xml
+ xml2rfc $^ $@
+
+PAPERS = draft-gsenger-secure-anycast-tunneling-protocol-02.html \
+ draft-gsenger-secure-anycast-tunneling-protocol-02.txt
+
+all: doc
+doc: $(PAPERS)
+
+clean:
+ rm -f $(PAPERS)