diff options
| author | Unknown <blackjack4494@web.de> | 2020-09-02 23:48:21 +0200 |
|---|---|---|
| committer | Unknown <blackjack4494@web.de> | 2020-09-02 23:48:21 +0200 |
| commit | e367127957d37b51720ebc6f8cea5430ef67e863 (patch) | |
| tree | b97314428de047935020a09ac4dcf4c79fc6da19 /devscripts/make_readme.py | |
| parent | 3ca3f77f9ce9dd504dc6af4ef605c245c31ff860 (diff) | |
| download | hypervideo-pre-e367127957d37b51720ebc6f8cea5430ef67e863.tar.lz hypervideo-pre-e367127957d37b51720ebc6f8cea5430ef67e863.tar.xz hypervideo-pre-e367127957d37b51720ebc6f8cea5430ef67e863.zip | |
[skip travis] minor fixes
Diffstat (limited to 'devscripts/make_readme.py')
| -rwxr-xr-x | devscripts/make_readme.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py index 8fbce0796..dc3aa9a74 100755 --- a/devscripts/make_readme.py +++ b/devscripts/make_readme.py @@ -14,7 +14,7 @@ with io.open(README_FILE, encoding='utf-8') as f: oldreadme = f.read() header = oldreadme[:oldreadme.index('# OPTIONS')] -footer = oldreadme[oldreadme.index('# CONFIGURATION'):] +#footer = oldreadme[oldreadme.index('# CONFIGURATION'):] options = helptext[helptext.index(' General Options:') + 19:] options = re.sub(r'(?m)^ (\w.+)$', r'## \1', options) @@ -23,4 +23,4 @@ options = '# OPTIONS\n' + options + '\n' with io.open(README_FILE, 'w', encoding='utf-8') as f: f.write(header) f.write(options) - f.write(footer) + #f.write(footer) |