# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1277247147 18000
# Node ID 2c6d799f045187a8ebcddfd0ee3f5baf9fde860f
# Parent  6ad249bd2005d74b35b662e3fa8ed7699bc2ae84
Fix a dangling symlink that confuses root-filesystem.sh, and add some comments.

diff -r 6ad249bd2005 -r 2c6d799f0451 simple-root-filesystem.sh
--- a/simple-root-filesystem.sh	Tue Jun 22 17:52:00 2010 -0500
+++ b/simple-root-filesystem.sh	Tue Jun 22 17:52:27 2010 -0500
@@ -21,12 +21,22 @@
 then
   mkdir -p "$STAGE_DIR"/{tmp,proc,sys,dev,home,mnt} &&
   chmod a+rwxt "$STAGE_DIR/tmp" || dienow
+
+  # Having lots of repeated locations at / and also under /usr is silly, so
+  # symlink them together.  (The duplication happened back in the 1970's
+  # when Ken and Dennis ran out of space on their first RK05 disk pack and
+  # leaked the OS into the disk containing the user home directories.  It's
+  # been mindlessly duplicated ever since.)
   for i in bin sbin lib etc
   do
     mkdir -p "$STAGE_DIR/usr/$i" &&
     ln -s "usr/$i" "$STAGE_DIR/$i" || dienow
   done
-  ln -s share/man "$STAGE_DIR/usr/man" || dienow
+
+  # Have only one man page directory.  (And make sure it exists so dangling
+  # symlinks don't confuse the cp in root-filesystem.sh.)
+  ln -s share/man "$STAGE_DIR/usr/man" &&
+  mkdir -p "$STAGE_DIR/usr/share/man" || dienow
 
   STAGE_DIR="$STAGE_DIR/usr"
 else