[tex-live] Bug#433455: Bug#433455: /usr/bin/pdftex: $TEXEDIT default doesn't cope with spaces in filenames

Karl Berry karl at freefriends.org
Mon Sep 10 23:46:30 CEST 2007

    Unless the OS ending with `$' - err, `s' likes "" better, I prefer ''.

I committed the change using '%s'.

Akira, please let me know if that causes problems for you and "%s" would
be better.


More information about the tex-live mailing list