annotate update-subdirs @ 34727:4b9a7a10deaa

* gnus-util.el (gnus-add-text-properties-when): New function. (gnus-remove-text-properties-when): Ditto. * gnus-cite.el (gnus-article-hide-citation): Use them. (gnus-article-toggle-cited-text): Use them. * gnus-art.el (gnus-signature-toggle): Use them. (gnus-article-show-hidden-text): Ditto. (gnus-article-hide-text): Ditto. * gnus-art.el (gnus-article-describe-key): Use prompt. (gnus-article-describe-key-briefly): Ditto.
author ShengHuo ZHU <zsh@cs.rochester.edu>
date Wed, 20 Dec 2000 06:13:15 +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