diff lib-src/update-elc.sh @ 167:85ec50267440 r20-3b10

Import from CVS: tag r20-3b10
author cvs
date Mon, 13 Aug 2007 09:45:46 +0200
parents 5a88923fcbfe
children 15872534500d
line wrap: on
line diff
--- a/lib-src/update-elc.sh	Mon Aug 13 09:44:44 2007 +0200
+++ b/lib-src/update-elc.sh	Mon Aug 13 09:45:46 2007 +0200
@@ -108,7 +108,11 @@
 #make_special vm
 #make_special ediff elc
 #make_special viper elc
-make_special auctex some
+if test "$mule_p" = nil ; then
+	make_special auctex some
+else
+	make_special auctex some MULE_ELC=tex-jp.elc
+fi
 make_special cc-mode all
 make_special efs x20
 make_special eos -k		# not strictly necessary...