On Sun, Nov 20, 2016 at 3:38 AM, Nicolas Goaziou <mail@nicolasgoaziou.fr> wrote:
Hello,

"Charles C. Berry" <ccberry@ucsd.edu> writes:

> OTOH, (expand-file-name "test.txt") resolves double-slashes and seems
> like the right idiom in any case.

Fixed. Thank you.

It worked for me, too!  Thank you all!