K 10
svn:author
V 8
vsevolod
K 8
svn:date
V 27
2018-11-06T16:53:39.735562Z
K 7
svn:log
V 233
- Rename DOCS to TEXDOCS to avoid default LaTeX dependency
- Fix build and package when building with no documents/examples
- Use options specific targets

PR:		219798
Submitted by:	vsevolod
Approved by:	maintainer timeout (>1 year)

END