diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 20:51:42 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 20:51:42 +0200 |
commit | 531e27c2dfd67b4ad600c2ad5e13e608a75f04d8 (patch) | |
tree | d669f8caf9c795d88ce3e72736157901dbcaec15 /Makefile | |
parent | 887526e77f7a3b707c53457b076d098a1edefeb7 (diff) | |
parent | fe5501d4bb4c7c6365ceb009ea715356cca27a50 (diff) |
Merge tag 'upstream/0.5.2' into debian
Upstream version 0.5.2
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ html: $(HTML_FILES) # upper case the headers and remove the links $(MANUAL_FILES): $(BUILD_DOCDIR)/%: ./doc/%.md - pandoc -f markdown -t json -- "$<" | ./pandoc2man.jq | pandoc -s -f json -t man+smart -o "$@" + pandoc -f markdown -t json -- "$<" | ./pandoc2man.jq | pandoc -s -f json -t man -o "$@" test: @./tests/run-all |