Tweak release checklist.

jgm · jgm · commit 70dd4353b79e · 2017-08-02T08:28:55.000-07:00
diff --git a/release_checklist.md b/release_checklist.md
@@ -9,13 +9,4 @@ _ git push
 _ git push --tags
 _ npm publish
 _ create github release
-_ for releases involving a spec change: update dingus:
-
-    cd dingus
-    make
-    cd ../../CommonMark-site
-    make update
-    make
-    make upload
-
 _ update babelmark2: copy commonmark.js to src/babelmark2/js on server
