Added a "build_all" function to rebuild all pages if the index (and thus the toctree/navigation) has changed