make changes_github: use details tag to make changelog collapsible.
commit004907f4f229b4aff2ca9c2a96b694251b51cce9
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 15 Mar 2020, 11:23 (7 years ago)
parente23554c
Makefile+1−1
@@ -55,7 +55,7 @@ fix_spacing:
5555 for f in $(SOURCEFILES); do printf '%s\n' "`cat $$f`" | sed -e 's/ *$$//' > $$f.tmp; mv $$f.tmp $$f; done
5656
5757changes_github:
58− pandoc --filter tools/extract-changes.hs changelog.md -t gfm --wrap=none | sed -e 's/\\#/#/g' | pbcopy
58+ pandoc --filter tools/extract-changes.hs changelog.md -t gfm --wrap=none --template tools/changes_template.html | sed -e 's/\\#/#/g' | pbcopy
5959
6060dist: man/pandoc.1
6161 cabal sdist
tools/changes_template.htmlnew file+6
@@ -0,0 +1,6 @@
1+<details>
2+ <summary>Click to expand changelog</summary>
3+
4+$body$
5+
6+</details>