Mon, 03 Dec 2018 10:08:18 +0100 | ihse | Merge from default | file | diff | annotate |
Tue, 30 Oct 2018 09:33:51 +0100 | ihse | Add handling of footnotes to javascript filter. | file | diff | annotate |
Tue, 30 Oct 2018 09:24:14 +0100 | ihse | Fix links in pandoc filter. | file | diff | annotate |
Wed, 17 Oct 2018 11:41:33 +0200 | ihse | Add a pandoc filter for man pages written in javascript, to transform man pages. | file | diff | annotate |
Wed, 28 Nov 2018 10:00:41 +0100 | ihse | 8178317: Create man pages using pandoc from markdown sources | file | diff | annotate |