This file makes sure that Github Pages doesn't process mdBook's output.