diff leim/makefile.w32-in @ 48931:0af848ed2cae

(tex-print): Call shell-quote-argument on the file name.
author Richard M. Stallman <rms@gnu.org>
date Sun, 22 Dec 2002 22:03:22 +0000
parents d9df339c7f01
children 37e7677ca4d7
line wrap: on
line diff