make changes_github: use details tag to make changelog collapsible.

This commit is contained in:
John MacFarlane 2020-03-15 11:23:55 -07:00
parent e23554cec1
commit 004907f4f2
2 changed files with 7 additions and 1 deletions

View file

@ -55,7 +55,7 @@ fix_spacing:
for f in $(SOURCEFILES); do printf '%s\n' "`cat $$f`" | sed -e 's/ *$$//' > $$f.tmp; mv $$f.tmp $$f; done for f in $(SOURCEFILES); do printf '%s\n' "`cat $$f`" | sed -e 's/ *$$//' > $$f.tmp; mv $$f.tmp $$f; done
changes_github: changes_github:
pandoc --filter tools/extract-changes.hs changelog.md -t gfm --wrap=none | sed -e 's/\\#/#/g' | pbcopy pandoc --filter tools/extract-changes.hs changelog.md -t gfm --wrap=none --template tools/changes_template.html | sed -e 's/\\#/#/g' | pbcopy
dist: man/pandoc.1 dist: man/pandoc.1
cabal sdist cabal sdist

View file

@ -0,0 +1,6 @@
<details>
<summary>Click to expand changelog</summary>
$body$
</details>