From acd468d398d1a771c0e10f1cdea467ba22cf4c62 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Tue, 12 Mar 2019 15:49:27 +0100
Subject: [PATCH] Adding filter for help generation

---
 doc/ttoolfilter.lua | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/ttoolfilter.lua

diff --git a/doc/ttoolfilter.lua b/doc/ttoolfilter.lua
new file mode 100644
index 0000000000..a02306abc7
--- /dev/null
+++ b/doc/ttoolfilter.lua
@@ -0,0 +1,4 @@
+function Link(el)
+  el.target = string.gsub(el.target, "%.md", ".html")
+  return el
+end
\ No newline at end of file
-- 
GitLab