diff --git a/doc/developer-guide.md b/doc/developer-guide.md index bac1a7863..fea6967f8 100644 --- a/doc/developer-guide.md +++ b/doc/developer-guide.md @@ -701,7 +701,8 @@ If you're new to this process, [help.github.com](http://help.github.com) may be - update version - edit .version - make setversion - - double-check & commit (cabal files, manual, download page..) + - double-check: cabal files, man pages ?, manual, download, release-notes, devguide.. + - commit - make tarballs/binaries - ensure no packages are commented out in Makefile's PACKAGES diff --git a/doc/site/release-notes.md b/doc/site/release-notes.md index b03cdcabd..9d0c3c3ce 100644 --- a/doc/site/release-notes.md +++ b/doc/site/release-notes.md @@ -3,7 +3,7 @@