diff options
| author | Gabor Kelemen <kelemeng@gnome.hu> | 2016-12-08 19:59:10 +0100 |
|---|---|---|
| committer | Gabor Kelemen <kelemeng@ubuntu.com> | 2016-12-24 23:31:52 +0000 |
| commit | 422cd594a106151a3142c150ad4fcda75ffad9b2 (patch) | |
| tree | 145403704d5657912a0978352eac174e769aa7df | |
| parent | 8fbbde6f3f3d3282112f8631660ba84f0c07f97b (diff) | |
tdf#104489 Include the product name in wiki page URL
Change-Id: I39155cf12a7ba178b0fb4e25315bd32156086846
Reviewed-on: https://gerrit.libreoffice.org/31772
Reviewed-by: Andras Timar <andras.timar@collabora.com>
Tested-by: Andras Timar <andras.timar@collabora.com>
Reviewed-on: https://gerrit.libreoffice.org/32311
Reviewed-by: Olivier Hallot <olivier.hallot@edx.srv.br>
Tested-by: Olivier Hallot <olivier.hallot@edx.srv.br>
| -rwxr-xr-x | to-wiki/getalltitles.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/to-wiki/getalltitles.py b/to-wiki/getalltitles.py index 71f5aed325..ffa5e815f5 100755 --- a/to-wiki/getalltitles.py +++ b/to-wiki/getalltitles.py @@ -31,9 +31,9 @@ def make_unique(title): return t replace_text_list = [ - ["$[officename]",""], # to fit both LibreOffice and BrOffice - ["%PRODUCTNAME",""], # to fit both LibreOffice and BrOffice - ["$PRODUCTNAME",""], # to fit both LibreOffice and BrOffice + ["$[officename]","LibreOffice"], + ["%PRODUCTNAME","LibreOffice"], + ["$PRODUCTNAME","LibreOffice"], ['"+"',"Plus"], ['"*"',"Star"], ['"-"',"Minus"], |