docs: Fix github pages build.