diff --git a/Doc/tools/prechm.py b/Doc/tools/prechm.py index 59a2d2101d4..970ed34e368 100644 --- a/Doc/tools/prechm.py +++ b/Doc/tools/prechm.py @@ -68,15 +68,10 @@