DocBook: fix issues with nested labeling lists.

[features.git] / src / xml.cpp

diff --git a/src/xml.cpp b/src/xml.cpp
index 7733bf0260d7d944be9b012dd6cd266edc097b27..a03e2543a53f461c1b6d9c15606e5c78912b1ac2 100644 (file)
--- a/src/xml.cpp
+++ b/src/xml.cpp
@@ -557,7 +557,7 @@ docstring const xml::uniqueID(docstring const & label)
 }
 
 
-docstring xml::cleanID(docstring const &orig)
+docstring xml::cleanID(docstring const & orig)
 {
        // The standard xml:id only allows letters,
        // digits, '-' and '.' in a name.
@@ -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;