diff --git a/Makefile b/Makefile
index 2f6ae9c6..36959d8b 100644
--- a/Makefile
+++ b/Makefile
@@ -128,8 +128,6 @@ install:
 			echo; echo "If there is nothing important in ${PREFIX}/doc" ; \
 			echo "you may remove that obsolete directory." ; \
 		fi
-		@rm -rf ${PREFIX}/sema
-
 
 dist tar:	${TARFILE}