diff options
| -rw-r--r-- | doc/index-verimag.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/index-verimag.html b/doc/index-verimag.html index 56b16991..4ca4a7bc 100644 --- a/doc/index-verimag.html +++ b/doc/index-verimag.html @@ -105,7 +105,7 @@ or <A HREF="https://compcert.org/">the CompCert Web site</A>. <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.txt">license</A>. +following <A HREF="https://compcert.org/doc/LICENSE.txt">license</A>. </P> </font> |