diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 17:36:51 +0800 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 17:36:51 +0800 |
| commit | f935a609c53c5c6031e6848db95c7debed127e27 (patch) | |
| tree | 4c3cf6af6588247c0dd3f92f9601357c33c56217 /devel/cppi | |
| parent | 703b5eb18b542fec0e78704ada72142cd2b33175 (diff) | |
| download | freebsd-ports-gnome-f935a609c53c5c6031e6848db95c7debed127e27.tar.gz freebsd-ports-gnome-f935a609c53c5c6031e6848db95c7debed127e27.tar.zst freebsd-ports-gnome-f935a609c53c5c6031e6848db95c7debed127e27.zip | |
- 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
Diffstat (limited to 'devel/cppi')
| -rw-r--r-- | devel/cppi/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/cppi/Makefile b/devel/cppi/Makefile index 8b1a500e8c71..5f44308b5b0c 100644 --- a/devel/cppi/Makefile +++ b/devel/cppi/Makefile @@ -17,7 +17,6 @@ COMMENT= A tool to indent the C preprocessor directives USE_BZIP2= yes USE_GMAKE= yes GNU_CONFIGURE= yes -CONFIGURE_ARGS= --mandir=${PREFIX}/man CONFIGURE_ENV= CPPFLAGS="-I${LOCALBASE}/include" LIBS="-L${LOCALBASE}/lib" PLIST_FILES= bin/cppi |