diff options
Diffstat (limited to 'update-subdirs')
| -rwxr-xr-x | update-subdirs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/update-subdirs b/update-subdirs index fa66a2b05db..801b15003da 100755 --- a/update-subdirs +++ b/update-subdirs @@ -36,8 +36,11 @@ done if [ "x$subdirs" = x ]; then rm -f subdirs.el else + + echo ";; -*- no-byte-compile: t -*-" > subdirs.el + echo ";; In load-path, after this directory should come -;; certain of its subdirectories. Here we specify them." > subdirs.el +;; certain of its subdirectories. Here we specify them." >> subdirs.el echo "(normal-top-level-add-to-load-path '($subdirs))" >> subdirs.el fi |