Comment 2 for bug 1175389

Christian, can you provide some more context as to why exactly this is needed and how will this affect the generated HTML docs?

My concern is that we're hardcoding a path, which will change very soon when the 'ubuntu-13.04' online docs get published, and I'd like to understand how will this affect them.

Thanks.