Use the docs_file specified in the config.