From: colepoirier@1ec9c8c87c85f09e4718cd80e0605065e33975f0 <colepoirier@1ec9c8c87c85f09e4718cd80e0605065e33975f0@web>
Date: Wed, 4 Nov 2020 00:21:42 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1877
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fcb8833c921523ccee6a2f962ec010ade215cddb;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 47c37c439..c3da71a24 100644
--- 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"