Michael P. Soulier wrote: > Hello, > > When I type "make config" for a port and set some options, where are > they stored? /var/db/ports/<portname>/options -- Armin Pirkovitsch a.pirko at inode.at