randy/draft-rpki-has-no-identity
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix name

Browse source
This commit is contained in:
Randy Bush 2021-03-18 14:02:40 -07:00
parent a6874503c7
commit 62f13ccd54
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

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