Always redo the documentation to get the warnings