More howto.txt

Author: nedbat

howto.txt

@@ -79,19 +79,20 @@
 - Update GitHub releases:
     $ make github_releases
 - Update readthedocs
-    - IF NOT PRE-RELEASE:
-        - update git "stable" branch to point to latest release
-            - git branch -f stable <latest-tag>
-            - git push --all
-        - visit https://readthedocs.org/projects/coverage/builds/
-        - wait for the new tag build to finish successfully.
-        - visit https://readthedocs.org/dashboard/coverage/advanced/
-        - change the default version to the new version
-    - visit https://readthedocs.org/projects/coverage/versions/
+    - @ https://readthedocs.org/projects/coverage/versions/
         - find the latest tag in the inactive list, edit it, make it active.
             - readthedocs won't find the tag until a commit is made on master.
         - keep just the latest version of each x.y release, make the rest inactive.
+    - IF NOT PRE-RELEASE:
+        - update git "stable" branch to point to latest release
+            $ git branch -f stable <latest-tag>
+            $ git push --all
+        - @ https://readthedocs.org/projects/coverage/builds/
+            - wait for the new tag build to finish successfully.
+        - @ https://readthedocs.org/dashboard/coverage/advanced/
+            - change the default version to the new version
 - Visit the fixed issues on GitHub and mention the version it was fixed in.
+    - "This is now released as part of [coverage 5.2](https://pypi.org/project/coverage/5.2)."
     - make a milestone for the next release and move open issues into it.
 - Announce:
     - twitter @coveragepy