diff options
| author | Mike Gerwitz <mikegerwitz@gnu.org> | 2014-11-30 17:35:24 -0500 |
|---|---|---|
| committer | Mike Gerwitz <mikegerwitz@gnu.org> | 2014-11-30 21:07:21 -0500 |
| commit | 9ad73dc0deed48b34afb701281aa195be42b7a7e (patch) | |
| tree | 88e845ef5173ecd240dd422b047e4909c81f336c /tools | |
| parent | 7c8604f82e7dd4f213603ff5f5f9195dbb8d7742 (diff) | |
| download | thoughts-9ad73dc0deed48b34afb701281aa195be42b7a7e.tar.gz thoughts-9ad73dc0deed48b34afb701281aa195be42b7a7e.tar.bz2 thoughts-9ad73dc0deed48b34afb701281aa195be42b7a7e.zip | |
:pandoc html5 output
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/thoughts-fmt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/thoughts-fmt b/tools/thoughts-fmt index c1bf15a..f95f64f 100755 --- a/tools/thoughts-fmt +++ b/tools/thoughts-fmt @@ -51,5 +51,5 @@ test "$timestamp" -gt "$md_cutoff" \ || fmt-old # it's just that simple. -exec pandoc -S -fmarkdown -thtml +exec pandoc -S -fmarkdown -thtml5 |