annotate update-subdirs @ 29289:9ad79f5782af

New commands: hide/unhide actions, upcase/downcase literals. (antlr-tiny-action-length): New user option. (antlr-hide-actions): New command. Suggested by Bjoern Mielenhausen <Bjoern.Mielenhausen@sap.com>. (antlr-mode-map): New binding [C-c C-v]. (antlr-mode-menu): New entries. (antlr-downcase-literals): New command. (antlr-upcase-literals): Ditto. Minor changes: indendation, mode-name. (antlr-indent-line): Indent cpp directive at column 0. (antlr-mode): Use mode-name prefix "Antlr." instead of "Antlr/". XEmacs bug workaround, XEmacs hint. (antlr-font-lock-additional-keywords): Workaround for intentional bug in XEmacs version of font-lock. (antlr-mode): Set symbol property `mode-name' to "Antlr". Could be used by a smarter version of `buffers-menu-grouping-function'.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 29 May 2000 15:49:05 +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