From e6e036b3f285d2f3ba2a5036a413eb9c7d7534cd Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 16 Nov 2020 10:28:40 +0100
Subject: [PATCH] Updates for release 3.8

---
 Changelog      |  3 +++
 VERSION        |  2 +-
 doc/index.html | 10 ++++++----
 3 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/Changelog b/Changelog
index ce40e13b19..f86691a6f6 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,6 @@
+Release 3.8, 2020-11-16
+=======================
+
 New features:
 - Support `_Static_assert` from ISO C11.
 - Support `__builtin_constant_p` from GCC and Clang.
diff --git a/VERSION b/VERSION
index f544e62469..d5a86723b0 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-version=3.7
+version=3.8
 buildnr=
 tag=
 branch=
diff --git a/doc/index.html b/doc/index.html
index 631c5d99fa..ec8c4d91d2 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -24,7 +24,7 @@
 
 <H1 align="center">The CompCert verified compiler</H1>
 <H2 align="center">Commented Coq development</H2>
-<H3 align="center">Version 3.7, 2020-03-31</H3>
+<H3 align="center">Version 3.8, 2020-11-16</H3>
 
 <H2>Introduction</H2>
 
@@ -56,12 +56,14 @@ <H2>Introduction</H2>
 written.</P>
 
 <P>The complete sources for CompCert can be downloaded from
-<A HREF="http://compcert.inria.fr/">the CompCert Web site</A>.</P>
+<A HREF="https://github.com/AbsInt/CompCert/">the Git repository</A>
+or <A HREF="https://compcert.org/">the CompCert Web site</A>.
+</P>
 
 <P>This document and the CompCert sources are copyright Institut
 National de Recherche en Informatique et en Automatique (INRIA) and
 AbsInt Angewandte Informatik GmbH, and are distributed under the terms of the
-following <A HREF="LICENSE">license</A>.
+following <A HREF="LICENSE.txt">license</A>.
 </P>
 
 <H2>Table of contents</H2>
@@ -348,7 +350,7 @@ <H3>Type systems</H3>
 </UL>
 
 <HR>
-<ADDRESS>Xavier.Leroy@inria.fr</ADDRESS>
+<ADDRESS>xavier.leroy@college-de-france.fr</ADDRESS>
 <HR>
 
 </BODY>