From fd5185a8e443dd14ec7a5c01f8ad3621517a02ab Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 30 Oct 2015 14:23:43 -0700 Subject: [PATCH] site: relnotes, devguide updates --- doc/developer-guide.md | 3 ++- doc/site/release-notes.md | 18 +++++++++--------- 2 files changed, 11 insertions(+), 10 deletions(-) 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 @@