[580795] Fix documentation install bit rot.
3 files changed