From f5c94869fdb39d0c92afb3f8d44842ccb126a13b Mon Sep 17 00:00:00 2001
From: Randy Bush <randy@psg.com>
Date: Sun, 14 Mar 2021 12:47:10 -0700
Subject: [PATCH] name the correct document

---
 Makefile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..9475a1d
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,19 @@
+#
+# Makefile for I-D's and RFCs
+# $Id: Makefile,v 1.1.1.1 2002-11-11 05:11:48 randy Exp $
+#
+
+# Your nroff document is called foo.txt. Change below as appropiate.
+NAME=draft-ymbk-rpki-has-no-identity
+DEST=psg.com:public_html
+RSY=rsync --rsh ssh -v -a -l -H -p -t -x --delete
+
+all: $(NAME).xml
+	xml2rfc $(NAME).xml --html --text
+
+rsy:
+	$(RSY) $(NAME).html $(DEST)
+	$(RSY) $(NAME).txt  $(DEST)
+
+clean:
+	rm -f *.html *.txt