diff lib-src/update-elc.sh @ 102:a145efe76779 r20-1b3

Import from CVS: tag r20-1b3
author cvs
date Mon, 13 Aug 2007 09:15:49 +0200
parents 4be1180a9e89
children 360340f9fd5f
line wrap: on
line diff
--- a/lib-src/update-elc.sh	Mon Aug 13 09:15:13 2007 +0200
+++ b/lib-src/update-elc.sh	Mon Aug 13 09:15:49 2007 +0200
@@ -94,7 +94,7 @@
 make_special oobr HYPB_ELC='' elc
 make_special eos -k		# not stricly necessary...
 make_special ilisp elc
-make_special auctex
+make_special auctex some
 
 ignore_pattern=''
 for dir in $ignore_dirs ; do