Merge pull request coq#80 from silene/coq8.9beta1

Coq 8.9+beta1 release.

Makefile

@@ -84,7 +84,7 @@ $(DST)/coq-workshop/2009/cfp/index.html:
 
 NEWS:= $(shell cut -f1 -d: NEWSINDEX | sort -r -n)
 
-RECENTNEWS:= 147 146 145
+RECENTNEWS:= 148 147 146
 
 NEWSSRC:=$(addprefix news/,$(NEWS))
 NEWSDST:=$(patsubst %,$(DST)/news/%.html,$(NEWS))

NEWSINDEX

@@ -55,3 +55,4 @@
 145:coq-88-is-out
 146:coq-881-is-out
 147:coq-882-is-out
+148:coq-89beta1-is-out

incl/macros.html

@@ -7,3 +7,10 @@
 <#def CURRENTVERSIONTAG>V8.8.2</#def>
 <#def CURRENTVERSIONURL><#BASEURL><#CURRENTVERSIONTAG></#def>
 <#def CURRENTCREDITSURL>https://github.com/coq/coq/blob/<#CURRENTVERSIONTAG>/CREDITS</#def>
+
+<#def UPCOMINGMAJORVERSION>8.9</#def>
+<#def UPCOMINGMINORVERSION>+beta1</#def>
+<#def UPCOMINGVERSION><#UPCOMINGMAJORVERSION><#UPCOMINGMINORVERSION></#def>
+<#def UPCOMINGVERSIONDATE>November 2018</#def>
+<#def UPCOMINGVERSIONTAG>V8.9+beta1</#def>
+<#def UPCOMINGVERSIONURL><#BASEURL><#UPCOMINGVERSIONTAG></#def>

news/148

@@ -0,0 +1,12 @@
+<#def ID>148</#def>
+<#def TITLE>Coq 8.9+beta1 is out</#def>
+<#def AUTHOR>Guillaume Melquiond</#def>
+<#def DATE>2 Nov 2018</#def>
+<#def DESCR>
+The <a href="https://github.com/coq/coq/releases/tag/V8.9+beta1">first beta
+release of Coq 8.9</a> is available for testing. It features many
+quality-of-life improvements, including goal differences as well as numeral
+and custom notations.
+
+Feedback and <a href="https://github.com/coq/coq/issues">bug reports</a> are extremely welcome.
+</#def>

pages/index.html

@@ -28,11 +28,13 @@
       selectors in front of focusing brackets and a new experimental
       -mangle-names option for linting proof scripts.
   </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="<#CURRENTVERSIONURL>">Get Coq <#CURRENTVERSION></a></li>
+<li><a href="<#UPCOMINGVERSIONURL>">Get Coq <#UPCOMINGVERSION></a></li>
 </ul>
 </div>
 </div>