This hack is no longer necessary, since multiple-outputs.sh has been fixed to install docs in the right location.