diff options
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() |