From e5e710bd54b1f5bf7ca664cc9029ee2392090f47 Mon Sep 17 00:00:00 2001
From: Katrin Leinweber <9948149+katrinleinweber@users.noreply.github.com>
Date: Wed, 19 Dec 2018 06:57:24 +0100
Subject: [PATCH] Hyperlink DOI to preferred resolver

---
 doc/source/devel/make_release.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/source/devel/make_release.rst b/doc/source/devel/make_release.rst
index dedc8f411e..25db5210b7 100644
--- a/doc/source/devel/make_release.rst
+++ b/doc/source/devel/make_release.rst
@@ -301,7 +301,7 @@ Release checklist
   text for adding a DOI badge in various formats. Copy the DOI Markdown text.
   The markdown will look something like this::
 
-    [![DOI](https://zenodo.org/badge/doi/10.5281/zenodo.60847.svg)](http://dx.doi.org/10.5281/zenodo.60847)
+    [![DOI](https://zenodo.org/badge/doi/10.5281/zenodo.60847.svg)](https://doi.org/10.5281/zenodo.60847)
 
   Go back to the Github release page for this release, click "Edit release".
   and copy the DOI into the release notes.  Click "Update release".