diff options
Diffstat (limited to 'README_Kalray.md')
-rw-r--r-- | README_Kalray.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/README_Kalray.md b/README_Kalray.md index 86c49ad1..33b41cf5 100644 --- a/README_Kalray.md +++ b/README_Kalray.md @@ -18,7 +18,7 @@ Please follow the instructions in `INSTALL.md` ## Documentation of the Coq sources -The documentation is available [online](https://certicompil.gricad-pages.univ-grenoble-alpes.fr/compcert-kvx). +The documentation of this CPP'2022 release is available [online](https://www-verimag.imag.fr/~boulme/CPP_2022/). You may also generate it locally from `make documentation` (after installation via `INSTALL.md`): the entry-point is in `doc/index-kvx.html`. ## Testing |