diff update-subdirs @ 25856:354e0c45cedf

#

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/update-subdirs	Sun Oct 03 15:56:58 1999 +0000
@@ -0,0 +1,23 @@
+#!/bin/sh
+# Write into $1/subdirs.el a list of subdirs of directory $1.
+cd $1
+for file in *; do
+    case $file in
+	*.elc | *.el | term | RCS | Old | . | .. | =* | *~ | *.orig | *.rej)
+	  ;;	
+	*)
+	    if [ -d $file ]; then
+	      subdirs="\"$file\" $subdirs"
+	    fi
+	  ;;
+    esac
+done
+
+if [ "x$subdirs" = x ]; then
+  rm -f subdirs.el
+else
+  echo ";; In load-path, after this directory should come
+;; certain of its subdirectories.  Here we specify them." > subdirs.el
+
+  echo "(normal-top-level-add-to-load-path '($subdirs))" >> subdirs.el
+fi