K 10
svn:author
V 5
nivit
K 8
svn:date
V 27
2020-05-26T21:21:27.239366Z
K 7
svn:log
V 284
Fix build when DOCS option is off.

The build failed if py-sphinx was not installed as it always ran
post-build and post-install targets.

This patch also moves OPTIONS_DEFINE further down (as suggested by portlint).

PR:		246643
Submitted by:	Robert Kruus <robert.kruus@utoronto.ca>

END