General Ports question...

[Glenn Sieb]

Just a suggestion: It would be *really* nice to have a file in a port 
directory that has all the options you can set on the make line (or in 
pkgtools.conf) ... yes I know you can grep through Makefile--but it 
would still be nice to have a file with all of the options and what they 
mean... :)

*going back to fixing the php4 install again*

Best,
G.

-- 
"They that can give up essential liberty to obtain a little temporary 
safety deserve neither liberty nor safety." 
          ~Benjamin Franklin, Historical Review of Pennsylvania, 1759