ppc64le/linux-1.0.0: links for sphinx-rtd-theme