diff options
Diffstat (limited to 'papers/Makefile')
| -rw-r--r-- | papers/Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/papers/Makefile b/papers/Makefile deleted file mode 100644 index 43c308e..0000000 --- a/papers/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -%.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) |