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