summaryrefslogtreecommitdiff
path: root/to-wiki/getalltitles.py
diff options
context:
space:
mode:
Diffstat (limited to 'to-wiki/getalltitles.py')
-rwxr-xr-xto-wiki/getalltitles.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/to-wiki/getalltitles.py b/to-wiki/getalltitles.py
index 8db9bcb45..8ec6a8993 100755
--- a/to-wiki/getalltitles.py
+++ b/to-wiki/getalltitles.py
@@ -130,7 +130,7 @@ def parsexhp(filename):
title = tp.get_title()
if len(title) > 0:
readable_title = readable_text(title)
- title = module + '/' + wiki_text(title)
+ title = '4.0' + module + '/' + wiki_text(title)
title = title.replace(' ', '_')
title = title.replace('___', '_')
title = title.replace('__', '_')