(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 47c37c439db30923219fce835d85e5df416282a2..c3da71a2448567fec9e5fb1636032b4e50c26e89 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -181,11 +181,11 @@ As root, run:
 
     make install
 
-## Check out alliance and alliance-check-toolkit
+## Check out alliance
 
 Adapted from <https://www-soc.lip6.fr/en/team-cian/softwares/alliance/>
 
-In the chroot, as the ordinary schroot user, in ~/.bash\_profile add the following so that builds (rebuilds, if you need) them will be quicker:
+In the chroot, as the ordinary schroot user, in ~/.bash\_profile add the following so that builds (rebuilds, if you need them) will be quicker:
 
     export PATH=/usr/lib/ccache:"$PATH"