diff --git a/doc/build/lib/toc.py b/doc/build/lib/toc.py index f80d6df3590ce1f89f28273c0ea68e7b1c7f782c..4f9742fd75d4b7d95a4ea75c7f86d29e511325ce 100644 --- a/doc/build/lib/toc.py +++ b/doc/build/lib/toc.py @@ -13,7 +13,7 @@ filenames = [] class TOCElement(object): def __init__(self, filename, name, description, parent=None, version=None, last_updated=None, doctitle=None, **kwargs): self.filename = filename - self.name = re.sub(r'[<>&;]', '', name) + self.name = re.sub(r'[<>&;%]', '', name) self.description = description self.parent = parent self.content = None