diff options
Diffstat (limited to 'gnu/usr.bin/man/man/Makefile')
-rw-r--r-- | gnu/usr.bin/man/man/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/usr.bin/man/man/Makefile b/gnu/usr.bin/man/man/Makefile index f8feae2..daab3c2 100644 --- a/gnu/usr.bin/man/man/Makefile +++ b/gnu/usr.bin/man/man/Makefile @@ -23,6 +23,7 @@ CLEANFILES+= ${MAN1} MANDEPEND+= ${MAN1} ${MAN1}: ${.CURDIR}/man.man + @echo Making ${.TARGET:T} from ${.ALLSRC:T}; \ sed -e 's,%libdir%,${libdir},' -e 's,%bindir%,${bindir},' \ -e 's,%pager%,${pager},' -e 's,%troff%,${troff},' \ -e 's,%manpath_config_file%,${manpath_config_file},' \ |