Release v0.4.1 take 2 (#38)

* Move release instructions out of readme * Cleanup
retutch · Jul 24, 2023 · 8ae0c02 · 8ae0c02
1 parent 681e3b7
commit 8ae0c02
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 11 deletions.
diff --git a/RELEASE.md b/RELEASE.md
@@ -2,17 +2,14 @@
 
 (This probably includes some redundancy, they're just notes to self so I remember how to do this.)
 
+**FIRST**, change package.json to reflect the new version number, then:
+
 ```
 npm install
 npm run nearley
 npm run test
-```
-
-Change package.json to reflect the new version number, then:
-
-```
-npm install
 npm run build
+npm run prettier
 git checkout -b <### whatever ###>
 git commit -a -m "New version"
 git push --set-upstream origin <### whatever ###>
@@ -23,8 +20,8 @@ Merge that, then:
 ```
 git checkout main
 git pull
-git tag v0.4.0
-git push --tags
+git tag <### vX.X.X ###>
+git push <### vX.X.X ###>
 npm run build
 npm publish
 ```
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "tutch",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "description": "Typescript implementation of Tutch, a TUTorial proof CHecker.",
   "main": "dist/index.js",
   "types": "dist/index.d.js",