diff options
| author | Gabor Kelemen <kelemeng@gnome.hu> | 2016-12-08 19:59:10 +0100 |
|---|---|---|
| committer | Andras Timar <andras.timar@collabora.com> | 2016-12-14 22:11:53 +0000 |
| commit | 96a84b25e3ae012661a68da1ecdbbf0d94089d9b (patch) | |
| tree | 12a7a66159d6ddace808dc0d7d4cdf05e8674c67 /to-wiki | |
| parent | d3d24377c0ed652c0f0460ecbb4a8d80261f999d (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>
Diffstat (limited to 'to-wiki')
| -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"], |