On 9/13/19 1:09 PM, Jean-Marc Lasgouttes wrote:
> 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())
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
