In DocFileNamefilename::mangledFileName, I see:

        string const name = absFileName();
        // Now the real work
        string mname = os::internal_path(name);
        // Remove the extension.
        mname = support::changeExtension(name, string());

So the assignment of internal_path is undone. Did we need it or not?

JMarc

Reply via email to