make/scripts/pandoc-manpage-filter.js
branchihse-manpages-branch
changeset 57007 19b7d582121d
parent 57005 f29c33ab2259
child 57049 d13c49f43710
equal deleted inserted replaced
57006:44fe6d5e9c73 57007:19b7d582121d
   101         if (value[0] == 1) {
   101         if (value[0] == 1) {
   102             return Header(traverse(value, uppercase));
   102             return Header(traverse(value, uppercase));
   103         }
   103         }
   104     }
   104     }
   105 
   105 
       
   106     // Man pages does not have superscript. We use it for footnotes, so
       
   107     // enclose in [...] for best representation.
       
   108     if (type === 'Superscript') {
       
   109         return [ Str('['), value[0], Str(']') ];
       
   110     }
       
   111 
   106     // If it is a link, put the link name in bold. If it is an external
   112     // If it is a link, put the link name in bold. If it is an external
   107     // link, put it in brackets. Otherwise, it is either an internal link
   113     // link, put it in brackets. Otherwise, it is either an internal link
   108     // (like "#next-heading"), or a relative link to another man page
   114     // (like "#next-heading"), or a relative link to another man page
   109     // (like "java.html"), so remove it for man pages.
   115     // (like "java.html"), so remove it for man pages.
   110     if (type === 'Link') {
   116     if (type === 'Link') {