Resolve "Developer documentation not being built correctly"

Closes #764 (closed)

Edited by Tomek Mrugalski

Merge request reports