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)