masterBuffer->temppath() :
buffer.filePath();
string const filename = external_in_tmpdir ?
- params.filename.mangledFilename() :
+ params.filename.mangledFileName() :
params.filename.outputFilename(parentpath);
string const basename = changeExtension(
onlyFilename(filename), string());
// We copy the source file to the temp dir and do the conversion
// there if necessary
FileName const temp_file(
- makeAbsPath(params.filename.mangledFilename(),
+ makeAbsPath(params.filename.mangledFileName(),
masterBuffer->temppath()));
if (!params.filename.empty() && !params.filename.isDirectory()) {
unsigned long const from_checksum = params.filename.checksum();
if (!runparams.inComment && !runparams.dryrun && !runparams.nice &&
not_from_texmf) {
- // mangledFilename() needs the extension
+ // mangledFileName() needs the extension
DocFileName const in_file = DocFileName(try_in_file);
- database = removeExtension(in_file.mangledFilename());
+ database = removeExtension(in_file.mangledFileName());
FileName const out_file = makeAbsPath(database + ".bib",
buffer().masterBuffer()->temppath());
not_from_texmf) {
// use new style name
DocFileName const in_file = DocFileName(try_in_file);
- base = removeExtension(in_file.mangledFilename());
+ base = removeExtension(in_file.mangledFileName());
FileName const out_file = makeAbsPath(base + ".bst",
buffer().masterBuffer()->temppath());
bool const success = in_file.copyTo(out_file);
if (rtrim(onlyPath(file_in) , "/") == rtrim(dir, "/"))
return make_pair(IDENTICAL_PATHS, file_in);
- string mangled = file.mangledFilename();
+ string mangled = file.mangledFileName();
if (file.isZipped()) {
// We need to change _eps.gz to .eps.gz. The mangled name is
- // still unique because of the counter in mangledFilename().
- // We can't just call mangledFilename() with the zip
+ // still unique because of the counter in mangledFileName().
+ // We can't just call mangledFileName() with the zip
// extension removed, because base.eps and base.eps.gz may
// have different content but would get the same mangled
// name in this case.
// bug 5681
if (type(params()) == LISTINGS) {
exportfile = incfile;
- mangled = DocFileName(included_file).mangledFilename();
+ mangled = DocFileName(included_file).mangledFileName();
} else {
exportfile = changeExtension(incfile, ".tex");
mangled = DocFileName(changeExtension(included_file.absFileName(), ".tex")).
- mangledFilename();
+ mangledFileName();
}
FileName const writefile(makeAbsPath(mangled, masterBuffer->temppath()));
if (loadIfNeeded()) {
Buffer * tmp = theBufferList().getBuffer(FileName(included_file));
- string const mangled = writefile.mangledFilename();
+ string const mangled = writefile.mangledFileName();
writefile = makeAbsPath(mangled,
buffer().masterBuffer()->temppath());
if (!runparams.nice)
writefile = included_file;
if (!features.runparams().nice && !isVerbatim(params()) && !isListings(params())) {
- incfile = DocFileName(writefile).mangledFilename();
+ incfile = DocFileName(writefile).mangledFileName();
writefile = makeAbsPath(incfile,
buffer().masterBuffer()->temppath()).absFileName();
}
}
-string DocFileName::mangledFilename(string const & dir) const
+string DocFileName::mangledFileName(string const & dir) const
{
// We need to make sure that every DocFileName instance for a given
// filename returns the same mangled name.
* with @c dir.
*/
std::string
- mangledFilename(std::string const & dir = empty_string()) const;
+ mangledFileName(std::string const & dir = empty_string()) const;
/// \return true if the file is compressed.
bool isZipped() const;