Alexey Dokuchaev 345fc748de Override GNU_CONFIGURE_MANPREFIX in my GNU autotools-based ports ... This is a temporary measure to facilitate entering the new world order where manual pages are installed under ${PREFIX}/share/man.		2024-01-22 12:09:10 +00:00
..
files
distinfo
Makefile	Override GNU_CONFIGURE_MANPREFIX in my GNU autotools-based ports	2024-01-22 12:09:10 +00:00
pkg-descr
pkg-plist	Override GNU_CONFIGURE_MANPREFIX in my GNU autotools-based ports	2024-01-22 12:09:10 +00:00