K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2018-01-10T15:28:39.317997Z
K 7
svn:log
V 138
- Convert to option helpers, fix a minor whitespace bug, mute MKDIRs
- Do not abuse INSTALL_MAN for installing documentation and examples

END