Fix the documentation: configure is not included in the release