Properly remove deleted files from GitHub pages when generating the documentation.