Module Name:	pkgsrc
Committed By:	dillo
Date:		Tue Jul 26 09:37:50 UTC 2005

Modified Files:
	pkgsrc/doc/guide/files: options.xml

Log Message:
document PKG_OPTIONS_NONEMPTY_SETS


To generate a diff of this commit:
cvs rdiff -r1.9 -r1.10 pkgsrc/doc/guide/files/options.xml

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.