diff options
author | Rob Austein <sra@hactrn.net> | 2016-08-03 23:46:44 -0400 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2016-08-03 23:46:44 -0400 |
commit | 949e9c8358b5259656c02e4a1ada7912d943afd2 (patch) | |
tree | 4d04acc169abb7d7f7e08790a98736ba8214f97d /doc/rpki-wiki-to-markdown.py | |
parent | 14a9628f0552d3818cd58fb085e7544cdbb3b5eb (diff) |
Try another conversion pass to salvage more of the links.
Diffstat (limited to 'doc/rpki-wiki-to-markdown.py')
-rw-r--r-- | doc/rpki-wiki-to-markdown.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/rpki-wiki-to-markdown.py b/doc/rpki-wiki-to-markdown.py index 17f4209a..dff87e6b 100644 --- a/doc/rpki-wiki-to-markdown.py +++ b/doc/rpki-wiki-to-markdown.py @@ -101,9 +101,8 @@ def main(): urllib.urlretrieve(img_url, fn) sys.stderr.write("Wrote {}\n".format(fn)) - html2markdown = subprocess.Popen(("html2markdown",), - stdin = subprocess.PIPE, - stdout = subprocess.PIPE) + html2markdown = subprocess.Popen(("html2markdown", "--no-skip-internal-links", "--reference-links"), + stdin = subprocess.PIPE, stdout = subprocess.PIPE) page.write(html2markdown.stdin) html2markdown.stdin.close() lines = html2markdown.stdout.readlines() |