Add history documentation to the info manual