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!