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