K 10
svn:author
V 5
adamw
K 8
svn:date
V 27
2017-10-10T01:29:39.538685Z
K 7
svn:log
V 57
Fix packaging when HTMLDOCS is on.

Pointy hat to:	garga

END