From: Ralf Treinen <treinen@debian.org>
Date: Thu, 5 Sep 2019 13:01:02 +0200
Subject: Remove some generated files left over by upstream

Forwarded: 2011-10-21
---
 src/Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Makefile.am b/src/Makefile.am
index 875c3f7..9bbc18b 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -71,6 +71,7 @@ CLEANFILES = $(OCAMLBYTOBJS) \
 	     $(OCAMLSOURCES:.ml=.cmi) \
 	     dvicommands.cmi \
 	     transitions.cmi \
+	     libadvi.a dlladvi.so \
 	     $(COBJS) \
 	     config.ml \
 	     .depend
