# HG changeset patch
# User ihse
# Date 1540888431 -3600
# Node ID 19b7d582121da519704e7e20752182a8fdb31bd0
# Parent  44fe6d5e9c73d7b11199b5e9767335b244b40ca4
Add handling of footnotes to javascript filter.

diff -r 44fe6d5e9c73 -r 19b7d582121d make/scripts/pandoc-manpage-filter.js
--- a/make/scripts/pandoc-manpage-filter.js	Tue Oct 30 09:24:42 2018 +0100
+++ b/make/scripts/pandoc-manpage-filter.js	Tue Oct 30 09:33:51 2018 +0100
@@ -103,6 +103,12 @@
         }
     }
 
+    // Man pages does not have superscript. We use it for footnotes, so
+    // enclose in [...] for best representation.
+    if (type === 'Superscript') {
+        return [ Str('['), value[0], Str(']') ];
+    }
+
     // If it is a link, put the link name in bold. If it is an external
     // link, put it in brackets. Otherwise, it is either an internal link
     // (like "#next-heading"), or a relative link to another man page