Do the docs navigation, fill index.html