diff options
Diffstat (limited to 'to-wiki/getalltitles.py')
| -rwxr-xr-x | to-wiki/getalltitles.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/to-wiki/getalltitles.py b/to-wiki/getalltitles.py index 8db9bcb457..8ec6a8993c 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('__', '_') |