diff make-dist @ 34139:358adc86d127

(tex-start-shell): Obey shell-file-name. (tex-main-file, tex-file): Simplify. (tex-generate-zap-file-name): Use subst-char-in-string. (tex-strip-dots): Remove.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 02 Dec 2000 21:57:30 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff