diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 8d22e910..cd1e975d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -3292,7 +3292,7 @@ gen-man-wiki: exit 1; \ fi @for man in $(dist_man_MANS); do \ - echo "MANDOC wiki/$${man##*/}-devel.md"; \ + echo "MANDOC wiki/$${man##*/}.md"; \ ( \ echo "### This page is auto-generated from $(dist_man_MANS)"; \ (mandoc -Thtml $${man} | awk \ @@ -3300,7 +3300,7 @@ gen-man-wiki: $$1 == "</body>" { seenbody=0; }; \ seenbody == 1 { print };'\ ); \ - ) > wiki/$${man##*/}-devel.md; \ + ) > wiki/$${man##*/}.md; \ done .PHONY: poudriere poudriere: $(top_srcdir)/src/bin/poudriere |