diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-06-18 20:47:30 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-06-18 20:47:30 +0200 |
commit | 7b395912bb3e6264ba424d19f36436f00f9d3a6e (patch) | |
tree | 011bdd1e3517839651caeba81974d71912da3ec5 | |
parent | b1f8028c1a6d4a6719d64bb95a1e0a58cb0505eb (diff) |
Add command line to release steps
-rw-r--r-- | release.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/release.txt b/release.txt index 13ba6db..cd133a5 100644 --- a/release.txt +++ b/release.txt @@ -39,7 +39,9 @@ Prelude etc/review | less -R + Need to make sure Intro is still accurate wrt output, etc. Use -s switch - to etc/intro to compare. + to etc/intro to compare: + + etc/intro -s `pwd`/hello/repository/1/ + Increment version to final. |