Stop adding points at the end of xml:id without reason

This commit is contained in:
Thibaut Cuvelier 2020-07-20 02:15:35 +02:00
parent 8528376002
commit 6aaf118bc7

View File

@ -611,8 +611,7 @@ docstring xml::cleanID(docstring const &orig)
if (mangle) {
int & mangleID = tMangleID.localData();
content += "-" + convert<docstring>(mangleID++);
} else if (isDigitASCII(content[content.size() - 1]))
content += ".";
}
mangledNames[orig] = content;