diff options
| author | Bryan Drewery <bryan@shatow.net> | 2019-02-26 21:16:24 +0300 |
|---|---|---|
| committer | Bryan Drewery <bryan@shatow.net> | 2019-02-26 21:16:24 +0300 |
| commit | 87384f5350ebfde335f5c51760576237a73c8241 (patch) | |
| tree | bbb3ffefe3edf9e23549baa5cd987666f4993b6a /Makefile.am | |
| parent | 097041367a8a3e3fe7e4675ee36310b8c857662d (diff) | |
gen-man-wiki: Fix generating Xr links
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 aa0ac6fa..07b59882 100644 --- a/Makefile.am +++ b/Makefile.am @@ -313,7 +313,7 @@ gen-man-wiki: echo "MANDOC wiki/$${man##*/}-devel.md"; \ ( \ echo "### This page is auto-generated from $${man}"; \ - (mandoc -Thtml $${man} | awk \ + (mandoc -Thtml -O man=%N.%S $${man} | awk \ '$$1 == "<body>" { seenbody=1; next; }; \ $$1 == "</body>" { seenbody=0; }; \ seenbody == 1 { print };'\ |