summaryrefslogtreecommitdiff
path: root/repo/www/generate-index.py
diff options
context:
space:
mode:
authorKévin Le Gouguec <kevin.legouguec@gmail.com>2020-04-29 00:40:14 +0200
committerKévin Le Gouguec <kevin.legouguec@gmail.com>2020-04-29 00:40:14 +0200
commita4401b352150205d2f6ee7e3dc99c1145e399c60 (patch)
tree92829d81f4eda39f02f248c6ac87d0db5f7f76ef /repo/www/generate-index.py
parent23685fe090d986d3322903a003b91f7b1dfd1a3a (diff)
downloadmemory-leaks-a4401b352150205d2f6ee7e3dc99c1145e399c60.tar.xz
Fix links to internal pages
Replace .md/.org extension with .html. The output of "make" is now ugly as sin.
Diffstat (limited to 'repo/www/generate-index.py')
-rwxr-xr-xrepo/www/generate-index.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/repo/www/generate-index.py b/repo/www/generate-index.py
index 1fb00e6..4353819 100755
--- a/repo/www/generate-index.py
+++ b/repo/www/generate-index.py
@@ -97,7 +97,10 @@ def format_index(target, directories, files):
def convert_page(content, output, site_title):
- pandoc = ('pandoc', '-s', '-o', output)
+ pandoc = (
+ 'pandoc', '-s', '--lua-filter', 'convert-internal-links.lua',
+ '-o', output
+ )
if site_title is not None:
pandoc += ('-T', site_title)