diff options
Diffstat (limited to 'papers')
| -rw-r--r-- | papers/Makefile | 13 |
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) |