Fixing documentation tree build which was broken by commiting the patch on bug 266461.
Fixing documentation tree build which was broken by commiting the patch on bug 266461.

bugzilla/bugzilla,ikpcdoctor/git-clone---branch-release-5.0-stable-https-git.mozilla.org-bugzilla-bugzilla-,talatdayyan/bugzilla,talatdayyan/bugzilla,edmorley/bugzilla,edmorley/bugzilla,bugzilla/bugzilla,dylanwh/bugzilla,edmorley/bugzilla,edmorley/bugzilla,bugzilla/bugzilla,bugzilla/bugzilla,dylanwh/bugzilla,talatdayyan/bugzilla,dylanwh/bugzilla,talatdayyan/bugzilla,ikpcdoctor/git-clone---branch-release-5.0-stable-https-git.mozilla.org-bugzilla-bugzilla-,dylanwh/bugzilla,ikpcdoctor/git-clone---branch-release-5.0-stable-https-git.mozilla.org-bugzilla-bugzilla-,GNOME/bugzilla-gnome-org-upstream,talatdayyan/bugzilla,dklawren/bugzilla,dklawren/bugzilla,GNOME/bugzilla-gnome-org-upstream,GNOME/bugzilla-gnome-org-upstream,edmorley/bugzilla,oyang/bugzilla,dklawren/bugzilla,dylanwh/bugzilla,oyang/bugzilla,ikpcdoctor/git-clone---branch-release-5.0-stable-https-git.mozilla.org-bugzilla-bugzilla-,oyang/bugzilla,dklawren/bugzilla,GNOME/bugzilla-gnome-org-upstream,oyang/bugzilla,oyang/bugzilla,ikpcdoctor/git-clone---branch-release-5.0-stable-https-git.mozilla.org-bugzilla-bugzilla-,dklawren/bugzilla,GNOME/bugzilla-gnome-org-upstream