diff options
Diffstat (limited to 'bin/wikitrans')
-rwxr-xr-x | bin/wikitrans | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/wikitrans b/bin/wikitrans index 09ba0b3..01c3f9c 100755 --- a/bin/wikitrans +++ b/bin/wikitrans @@ -102,13 +102,13 @@ def getwiki(url, options): options.itype = 'wiktionary' options.kwdict['text'] = text.text.encode() def main(): usage = '%prog [OPTIONS] ARG' - version = '%prog 1.2' + version = '%prog 1.3' description = """Translates MediaWiki documents markup to various other formats. If ARG looks like a URL, the wiki text to be converted will be downloaded from that URL. Otherwise, if --base-url is given, ARG is treated as the name of the page to get from the WikiMedia istallation at that URL. Otherwise, ARG is name of the file to read wiki material from. |