(no commit message)

diff --git a/HDL_workflow/devscripts.mdwn b/HDL_workflow/devscripts.mdwn
index 5d47213261a9c34beb3c781ffc38d1d37ac40d75..9c50e780e29de4f0943089356004af79cf32a484 100644 (file)
--- a/HDL_workflow/devscripts.mdwn
+++ b/HDL_workflow/devscripts.mdwn
@@ -28,10 +28,9 @@ if you are going to drop USD 16 million on 7nm Mask Charges.
     $ cd dev-env-setup
     $ sudo bash
     # ./mk-deb-chroot libresoc
+    # ./cp-scripts-to-chroot libresoc # copies dev-env-setup to chroot
     # exit
     $ schroot -c libresoc
-    (libresoc)$ git clone https://git.libre-soc.org/git/dev-env-setup.git
-    (libresoc)$ cd dev-env-setup
     (libresoc)$ sudo bash
     (libresoc)# ./install-hdl-apt-reqs
     (libresoc)# ./hdl-tools-yosys