# Removing produced texi, info and html files
vertico.texi
vertico.info
vertico.html
