Fix build issue in documentation (Closes: #1094074)

Merge request reports

Loading