(no commit message)

diff --git a/docs.mdwn b/docs.mdwn
index a5a4cf9c16d860bc2f2e820d5c5582f79cab8260..e9918e64d9fd3db7304acba859314cfe4ad6de32 100644 (file)
--- a/docs.mdwn
+++ b/docs.mdwn
@@ -46,13 +46,10 @@ Also relevant is the [gdb gcc build](https://git.libre-soc.org/?p=dev-env-setup.
     git clone https://git.libre-soc.org/git/soc.git
     
     cd nmutil; make develop; cd ..
-    cd openpower-isa; make develop; cd ..
+    cd openpower-isa; make develop pywriter svanalysis pyfnwriter; cd ..
     cd c4m-jtag; make develop; cd ..
     cd ieee754fpu; make develop; cd ..
     cd soc; make gitupdate; make develop; cd ..
-    
-    python3 soc/src/soc/decoder/power_decoder.py
-    yosys -p "read_ilang decoder.il; show dec31" 
 
 ## Gtkwave Tutorial