File tree Expand file tree Collapse file tree 2 files changed +10
-10
lines changed
Expand file tree Collapse file tree 2 files changed +10
-10
lines changed Original file line number Diff line number Diff line change 77
88#+RFC_CATEGORY: std
99#+RFC_NAME: draft-klassert-ipsecme-eesp
10- #+RFC_VERSION: 02
10+ #+RFC_VERSION: 03
1111#+RFC_IPR: pre5378Trust200902
1212#+RFC_STREAM: IETF
1313#+RFC_XML_VERSION: 3
Original file line number Diff line number Diff line change @@ -27,15 +27,15 @@ git-clean-check:
2727
2828.PHONY : publish
2929publish : git-clean-check $(VBASE ) .xml $(VBASE ) .txt $(VBASE ) .html
30- if [ -f $( PBASE) .xml ]; then echo " $( PBASE) .xml already present, increment version?" ; exit 1; fi
31- cp $(VBASE ) .xml $(VBASE ) .txt $(VBASE ) .html publish
32- git checkout -b $(PBRANCH )
33- git tag -m " yank.mk publish-$( DTYPE) -$( VERSION) " bp-$(PBRANCH )
34- git push -f --tags
35- git add $(PBASE ) .xml $(PBASE ) .txt $(PBASE ) .html
36- git commit -m " yank.mk publish-$( DTYPE) -$( VERSION) "
37- git push origin $(PBRANCH )
38- git checkout master
30+ # if [ -f $(PBASE).xml ]; then echo "$(PBASE).xml already present, increment version?"; exit 1; fi
31+ # cp $(VBASE).xml $(VBASE).txt $(VBASE).html publish
32+ # git checkout -b $(PBRANCH)
33+ # git tag -m "yank.mk publish-$(DTYPE)-$(VERSION)" bp-$(PBRANCH)
34+ # git push -f --tags
35+ # git add $(PBASE).xml $(PBASE).txt $(PBASE).html
36+ # git commit -m "yank.mk publish-$(DTYPE)-$(VERSION)"
37+ # git push origin $(PBRANCH)
38+ # git checkout main
3939 git merge --ff-only $(PBRANCH)
4040 sed -i -e 's/\# +RFC_VERSION: *\([0-9]*\)/\#+RFC_VERSION: $(NEXT_VERSION)/' $(ORG)
4141 git commit -am "yank.mk new version post-publish"
You can’t perform that action at this time.
0 commit comments