K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2008-11-21T13:08:33.000000Z
K 7
svn:log
V 71
Fix "make install" when setting all of $OPTIONS off.

Spotted by:	nork

END