# Removing produced texi, info and html files
consult.texi
consult.info
consult.html.gz
