(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index f55e8cccdfcef03cd2be2deec1dd38bca327e467..4b7a519e22f84ce7907749529fb65929e12d5efd 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -37,7 +37,8 @@ this and decide to delete the chroot, you will delete the entire /home
 of your main system, as well as /etc/passwd.
 
 You may wish to follow some of the other things such as configuring apt,
-locales and keyboard.  bootloader, kernel, ssh access, all these are
+locales and keyboard, from the above-linked debian-admin HOWTO.
+bootloader, kernel, ssh access, all these are
 unnecessary.  do run "apt clean" to clear out /var/cache/apt/archives
 in the chroot.