From f935a609c53c5c6031e6848db95c7debed127e27 Mon Sep 17 00:00:00 2001 From: Rong-En Fan Date: Mon, 23 Jul 2007 09:36:51 +0000 Subject: - Set --mandir and --infodir in CONFIGURE_ARGS if the configure script supports them. This is determined by running ``configure --help'' in do-configure target and set the shell variable _LATE_CONFIGURE_ARGS which is then passed to CONFIGURE_ARGS. - Remove --mandir and --infodir in ports' Makefile where applicable Few ports use REINPLACE_CMD to achieve the same effect, remove them too. - Correct some manual pages location from PREFIX/man to MANPREFIX/man - Define INFO_PATH where necessary - Document that .info files are installed in a subdirectory relative to PREFIX/INFO_PATH and slightly change add-plist-info to use INFO_PATH and subdirectory detection. PR: ports/111470 Approved by: portmgr Discussed with: stas (Mk/*), gerald (info related stuffs) Tested by: pointyhat exp run --- benchmarks/postal/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'benchmarks') diff --git a/benchmarks/postal/Makefile b/benchmarks/postal/Makefile index 05c0f6580e65..5eeca5048504 100644 --- a/benchmarks/postal/Makefile +++ b/benchmarks/postal/Makefile @@ -28,7 +28,7 @@ MAN8= bhm.8 postal.8 rabid.8 CFLAGS+= ${PTHREAD_CFLAGS} LDFLAGS+= ${PTHREAD_LIBS} -CONFIGURE_ARGS= --mandir=${MANPREFIX}/man --disable-gnutls +CONFIGURE_ARGS= --disable-gnutls CONFIGURE_ENV+= CFLAGS="${CFLAGS}" CPPFLAGS="${CPPFLAGS}" LDFLAGS="${LDFLAGS}" .include -- cgit v1.2.3