K 10
svn:author
V 3
jgh
K 8
svn:date
V 27
2013-03-13T05:05:05.534853Z
K 7
svn:log
V 155
- adopt optionsNG for DOCS
- trim historical header
- shorten MASTER_SITES

PR:		176470
Submitted by:	jgh@
Approved by:	wen@ (maintainer timeout, 14 days)

END