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 --- editors/gobby/Makefile | 2 -- 1 file changed, 2 deletions(-) (limited to 'editors/gobby') diff --git a/editors/gobby/Makefile b/editors/gobby/Makefile index 9fc88c5ef932..8f84be7d4dfa 100644 --- a/editors/gobby/Makefile +++ b/editors/gobby/Makefile @@ -23,8 +23,6 @@ USE_XLIB= yes GNU_CONFIGURE= yes USE_GNOME= gnomehack pkgconfig gtksourceview -CONFIGURE_ARGS= "--mandir=${PREFIX}/man" - PLIST_FILES= bin/gobby share/pixmaps/gobby.png \ share/pixmaps/gobby/userlist.png \ share/pixmaps/gobby/doclist.png \ -- cgit v1.2.3