From 64e461a171a923e251515ed744187dd87a6e3a50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= <mail@maximedenes.fr>
Date: Mon, 19 Mar 2018 19:07:51 +0100
Subject: [PATCH] Coq 8.8+beta1 release.

---
 Makefile            |  2 +-
 NEWSINDEX           |  1 +
 incl/macros.html    | 12 +++++++++++-
 news/144            | 15 +++++++++++++++
 pages/download.html |  4 ++--
 pages/index.html    |  4 ++++
 6 files changed, 34 insertions(+), 4 deletions(-)
 create mode 100644 news/144

diff --git a/Makefile b/Makefile
index 8da3ecc68e..f4a9a97cdd 100644
--- a/Makefile
+++ b/Makefile
@@ -84,7 +84,7 @@ $(DST)/coq-workshop/2009/cfp/index.html:
 
 NEWS:= $(shell cut -f1 -d: NEWSINDEX | sort -r -n)
 
-RECENTNEWS:= 143 142 141
+RECENTNEWS:= 144 143 142
 
 NEWSSRC:=$(addprefix news/,$(NEWS))
 NEWSDST:=$(patsubst %,$(DST)/news/%.html,$(NEWS))
diff --git a/NEWSINDEX b/NEWSINDEX
index 1ccb28fba1..f77b971c79 100644
--- a/NEWSINDEX
+++ b/NEWSINDEX
@@ -51,3 +51,4 @@
 141:coq-871-is-out
 142
 143:coq-872-is-out
+144:coq-88beta1-is-out
diff --git a/incl/macros.html b/incl/macros.html
index 007f8af43b..7795677260 100644
--- a/incl/macros.html
+++ b/incl/macros.html
@@ -1,4 +1,14 @@
+<#def BASEURL>https://github.com/coq/coq/releases/tag/</#def>
+
 <#def CURRENTMAJORVERSION>8.7</#def>
 <#def CURRENTVERSION>8.7.2</#def>
 <#def CURRENTVERSIONDATE>February 2018</#def>
-<#def CURRENTVERSIONURL>V8.7.2</#def>
+<#def CURRENTVERSIONTAG>V8.7.2</#def>
+<#def CURRENTVERSIONURL><#BASEURL><#CURRENTVERSIONTAG></#def>
+
+<#def UPCOMINGMAJORVERSION>8.8</#def>
+<#def UPCOMINGMINORVERSION>+beta1</#def>
+<#def UPCOMINGVERSION><#UPCOMINGMAJORVERSION><#UPCOMINGMINORVERSION></#def>
+<#def UPCOMINGVERSIONDATE>March 2018</#def>
+<#def UPCOMINGVERSIONTAG>V8.8+beta1</#def>
+<#def UPCOMINGVERSIONURL><#BASEURL><#UPCOMINGVERSIONTAG></#def>
diff --git a/news/144 b/news/144
new file mode 100644
index 0000000000..0871da6740
--- /dev/null
+++ b/news/144
@@ -0,0 +1,15 @@
+<#def ID>144</#def>
+<#def TITLE>Coq 8.8+beta1 is out</#def>
+<#def AUTHOR>Maxime Dénès</#def>
+<#def DATE>19 Mar 2018</#def>
+<#def DESCR>
+The <a href="https://github.com/coq/coq/releases/tag/V8.8+beta1">first beta
+release of Coq 8.8</a> is available for testing. It features better
+performances, tactic improvements, many enhancements for universe users, a new
+Export modifier for setting options, support for goal selectors in front of
+focusing brackets and a new experimental -mangle-names option for linting proof
+scripts.
+
+Feedback and <a href="https://github.com/coq/coq/issues">bug reports</a> are extremely welcome.</p>
+
+</#def>
diff --git a/pages/download.html b/pages/download.html
index f283019c0c..657f078313 100644
--- a/pages/download.html
+++ b/pages/download.html
@@ -36,7 +36,7 @@
 </ul>
 
 <p>A lot of other changes are described in the
-<a href="https://github.com/coq/coq/blob/<#CURRENTVERSIONURL>/CHANGES">CHANGES file</a>.</p>
+<a href="https://github.com/coq/coq/blob/<#CURRENTVERSIONTAG>/CHANGES">CHANGES file</a>.</p>
 
 <p>This is the second release of Coq developed on a time-based development
   cycle. Its development spanned 9 months from the release of Coq 8.6 and was
@@ -47,7 +47,7 @@
 
 <p>For downloads (in particular to get installers for Windows and Mac OS, or a
   tarball of the sources), please go to
-  <a href="https://github.com/coq/coq/releases/tag/<#CURRENTVERSIONURL>">the release
+  <a href="<#CURRENTVERSIONURL>">the release
     page on GitHub</a>.</p>
 
 </div><!-- frameworkcontent -->
diff --git a/pages/index.html b/pages/index.html
index 4ce2eb4e05..0bd2de1f23 100644
--- a/pages/index.html
+++ b/pages/index.html
@@ -25,11 +25,15 @@
   <#CURRENTVERSION></a>, released in <#CURRENTVERSIONDATE>. It features
   improved performances, some new tactics, cumulative inductive type support, a
   redesigned <tt>coq_makefile</tt> and the integration of the SSReflect plugin.</p>
+
+  <p><a href="<#UPCOMINGVERSIONURL>">The upcoming version, Coq <#UPCOMINGVERSION></a>, released
+  in <#UPCOMINGVERSIONDATE>, is also available for testing.</p>
 </div>
 
 <div class="frameworklinks">
 <ul>
 <li><a href="/download">Get Coq <#CURRENTVERSION></a></li>
+<li><a href="<#UPCOMINGVERSIONURL>">Get Coq <#UPCOMINGVERSION></a></li>
 </ul>
 </div>
 </div>