HomeFreeBSD

Fix build if DOCS are deselected

Description

Fix build if DOCS are deselected

PR: 197074
Submitted by: olexander.v.melnyk@gmail.com
Reported by: sergej.schmidt@uni-ulm.de

Details

Provenance
arvedAuthored on
Parents
rP417705: - Update to 2.029
Branches
Unknown
Tags
Unknown