Allow links to be specified to the source files, which will be converted correctly by GitHub, by ensuring the sphinx generation then transforms the link from the source file to the correct output file depending on the builder used. Change-Id: I18ac055fc6d44982048365cad819f891786484a8