change file name

This commit is contained in:
Randy Bush 2022-02-17 05:12:20 -08:00
parent fcc3ba4aa2
commit 589bf7767f

View file

@ -4,7 +4,7 @@
#
# Your nroff document is called foo.txt. Change below as appropiate.
NAME=draft-ymbk-idr-l3-discovery
NAME=draft-ymbk-idr-l3nd
DEST=psg.com:public_html
RSY=rsync --rsh ssh -v -a -l -H -p -t -x --delete