randy/draft-rov-no-rr
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

don't build if unnecessary

Browse source
This commit is contained in:
Randy Bush 2022-06-02 12:49:56 -07:00
parent 38fc8953c7
commit 37d7ee402e
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Makefile
View file

@ -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)