annotate update-subdirs @ 34403:6679ef9b33fe

RefTeX 4.15 update
author Carsten Dominik <dominik@science.uva.nl>
date Sun, 10 Dec 2000 11:03:51 +0000
parents 3ede6c50d7f5
children f440b9766968
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25856
Dave Love <fx@gnu.org>
parents:
diff changeset
1 #!/bin/sh
Dave Love <fx@gnu.org>
parents:
diff changeset
2 # Write into $1/subdirs.el a list of subdirs of directory $1.
Dave Love <fx@gnu.org>
parents:
diff changeset
3 cd $1
Dave Love <fx@gnu.org>
parents:
diff changeset
4 for file in *; do
Dave Love <fx@gnu.org>
parents:
diff changeset
5 case $file in
25931
3ede6c50d7f5 also ignore CVS subdirs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 25856
diff changeset
6 *.elc | *.el | term | RCS | CVS | Old | . | .. | =* | *~ | *.orig | *.rej)
25856
Dave Love <fx@gnu.org>
parents:
diff changeset
7 ;;
Dave Love <fx@gnu.org>
parents:
diff changeset
8 *)
Dave Love <fx@gnu.org>
parents:
diff changeset
9 if [ -d $file ]; then
Dave Love <fx@gnu.org>
parents:
diff changeset
10 subdirs="\"$file\" $subdirs"
Dave Love <fx@gnu.org>
parents:
diff changeset
11 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
12 ;;
Dave Love <fx@gnu.org>
parents:
diff changeset
13 esac
Dave Love <fx@gnu.org>
parents:
diff changeset
14 done
Dave Love <fx@gnu.org>
parents:
diff changeset
15
Dave Love <fx@gnu.org>
parents:
diff changeset
16 if [ "x$subdirs" = x ]; then
Dave Love <fx@gnu.org>
parents:
diff changeset
17 rm -f subdirs.el
Dave Love <fx@gnu.org>
parents:
diff changeset
18 else
Dave Love <fx@gnu.org>
parents:
diff changeset
19 echo ";; In load-path, after this directory should come
Dave Love <fx@gnu.org>
parents:
diff changeset
20 ;; certain of its subdirectories. Here we specify them." > subdirs.el
Dave Love <fx@gnu.org>
parents:
diff changeset
21
Dave Love <fx@gnu.org>
parents:
diff changeset
22 echo "(normal-top-level-add-to-load-path '($subdirs))" >> subdirs.el
Dave Love <fx@gnu.org>
parents:
diff changeset
23 fi