- Add pre-fetch to show build time options.

Approved by:	mnag (mentor)

mail/mailman/Makefile

@@ -107,6 +107,18 @@ PLIST_SUB+=	SUB_HTDIG=""
 PLIST_SUB+=	SUB_HTDIG="@comment "
 .endif
 
+pre-fetch:
+	@${ECHO} ""
+	@${ECHO} "You may change the following build options:"	
+	@${ECHO} "MM_USERNAME=mailman	The username of the Mailman user."
+	@${ECHO} "MM_USERID=91		The user ID of the Mailman user."
+	@${ECHO} "MM_GROUPNAME=mailman	The group to which the Mailman user will belong."
+	@${ECHO} "MM_GROUPID=MM_USERID	The group ID for the Mailman user."
+	@${ECHO} "MM_DIR=mailman		Mailman will be installed in ${PREFIX}/${MM_DIR}."
+	@${ECHO} "CGI_GID=www		The group name or id under which your web server executes CGI scripts."
+	@${ECHO} "IMGDIR=www/icons	Icon images will be installed in ${PREFIX}/${IMGDIR}."
+	@${ECHO} ""
+
 post-patch:
 	@${REINPLACE_CMD} -e 's#%%LOCALBASE%%#${LOCALBASE}#g' \
 	  ${WRKSRC}/Mailman/Defaults.py.in

mail/mailman/files/FreeBSD-post-install-notes

@@ -21,8 +21,6 @@ VERY IMPORTANT NOTE
 The Mailman port has a number of build time options.  Getting the values of
 some of these right is CRUCIAL if you want your Mailman installation to work!
 
-To see a list of build time options, edit your port Makefile.
-
 1) General post-installation instructions
 
    You should find two files named "INSTALL" and "README" in the same