John J. Camilleri 083aa96e57 TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0 ...

The use of $toc$ and $table-of-contents$ flags changed, see:
https://pandoc.org/releases.html#pandoc-2.0-29-oct-2017
under "Behaviour changes"

2018-12-10 14:25:44 +01:00

..

build-binary-dist.sh

build-binary-dist.sh: make it easy to choose which version of ghc to use

2018-12-01 15:53:27 +01:00

clean_html

Add some documentation to update_html

2018-12-06 13:47:50 +01:00

gfmap

Final changes before the release of GF 3.9

2017-08-11 21:11:24 +02:00

template.html

TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0

2018-12-10 14:25:44 +01:00

update_html

TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0

2018-12-10 14:25:44 +01:00