diff --git a/lib/editline/Makefile.in b/lib/editline/Makefile.in index 77ad638e7..478196bf8 100644 --- a/lib/editline/Makefile.in +++ b/lib/editline/Makefile.in @@ -47,6 +47,7 @@ install: all $(INSTALL_DATA) -m 0555 $(LIB) $(libdir) uninstall: + rm -f $(libdir)/$(LIB) TAGS: $(SOURCES) etags $(SOURCES)