2021-11-11 11:10:44 -08:00
|
|
|
#
|
|
|
|
|
# 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.
|
2022-01-27 14:34:54 -08:00
|
|
|
NAME=draft-ietf-sidrops-rov-no-rr
|
2022-06-02 12:47:41 -07:00
|
|
|
DEST=archive.psg.com:public_html
|
2021-11-11 11:10:44 -08:00
|
|
|
RSY=rsync --rsh ssh -v -a -l -H -p -t -x --delete
|
|
|
|
|
|
2022-06-02 12:49:56 -07:00
|
|
|
all: $(NAME).txt
|
|
|
|
|
|
|
|
|
|
$(NAME).txt: $(NAME).xml
|
2021-11-11 11:10:44 -08:00
|
|
|
xml2rfc $(NAME).xml --html --text
|
|
|
|
|
|
2022-06-02 12:49:56 -07:00
|
|
|
rsy: $(NAME).html $(NAME).txt
|
2021-11-11 11:10:44 -08:00
|
|
|
$(RSY) $(NAME).html $(DEST)
|
|
|
|
|
$(RSY) $(NAME).txt $(DEST)
|
|
|
|
|
|
|
|
|
|
clean:
|
2022-06-22 13:08:29 -07:00
|
|
|
rm -f *.html *.txt
|
