From 37d7ee402ebc776db35f603cc74d1d7a18a6db42 Mon Sep 17 00:00:00 2001
From: Randy Bush <randy@psg.com>
Date: Thu, 2 Jun 2022 12:49:56 -0700
Subject: [PATCH] don't build if unnecessary

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ef12832..e3e4418 100644
--- a/Makefile
+++ b/Makefile
@@ -8,10 +8,12 @@ NAME=draft-ietf-sidrops-rov-no-rr
 DEST=archive.psg.com:public_html
 RSY=rsync --rsh ssh -v -a -l -H -p -t -x --delete
 
-all: $(NAME).xml
+all: $(NAME).txt
+
+$(NAME).txt: $(NAME).xml
 	xml2rfc $(NAME).xml --html --text
 
-rsy:
+rsy: $(NAME).html $(NAME).txt
 	$(RSY) $(NAME).html $(DEST)
 	$(RSY) $(NAME).txt  $(DEST)