K 10
svn:author
V 3
wen
K 8
svn:date
V 27
2020-05-31T09:39:20.691728Z
K 7
svn:log
V 198
- Strip binaries
- Add a new INFO option
- Build and install html documents when DOCS option enabled
- Fix the problem of examples were installed twice

PR:		246605
Submitted by:	felix@palmen-it.de

END