diff options
author | Bryan Drewery <bryan@shatow.net> | 2017-11-10 20:44:16 +0300 |
---|---|---|
committer | Bryan Drewery <bryan@shatow.net> | 2017-11-10 20:44:16 +0300 |
commit | d0ac31dcfa8981fac25a9d3242ebafaa458ab1cd (patch) | |
tree | c891f0ecb9d9dd0b66ffd211899ccd8d5bb43cc4 /Makefile.am | |
parent | 9d35d0314639601f1474562035bfa307919d67a3 (diff) |
mandoc now wants -Thtml
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 79099431..dc590119 100644 --- a/Makefile.am +++ b/Makefile.am @@ -296,7 +296,7 @@ gen-man-wiki: echo "MANDOC wiki/$${man##*/}-devel.md"; \ ( \ echo "### This page is auto-generated from $(dist_man_MANS)"; \ - (mandoc -Txhtml $${man} | awk \ + (mandoc -Thtml $${man} | awk \ '$$1 == "<body>" { seenbody=1; next; }; \ $$1 == "</body>" { seenbody=0; }; \ seenbody == 1 { print };'\ |