From 752a2ab470e658cad3f20a90cc1eabc821d66c86 Mon Sep 17 00:00:00 2001
From: ccoffrin <carleton@coffrin.com>
Date: Thu, 15 Jun 2017 12:11:15 -0400
Subject: [PATCH] removing outdated docs release instructions

---
 howto_release.txt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/howto_release.txt b/howto_release.txt
index a445a4f80bf..dad8e783435 100644
--- a/howto_release.txt
+++ b/howto_release.txt
@@ -3,9 +3,6 @@ This note serves as developer documentation for the JuMP release process, which
 Steps for a new major (0.xx) release:
 
 - Update NEWS.md
-- Update version and release in doc/conf.py
 - Create release-0.xx branch
-- Run "make html" in doc/. Copy doc/_build/html to new directory in gh-pages branch
-- Update version link in doc/warn.rst.
-- Update version and branches in README
+- Update version and branches in README.md
 - Check that CI passes on release branch