[468883] Make documentation launch portable
1 file changed