diff --git a/Makefile.in b/Makefile.in
index d41c33abf72b33cfca6ce75ad0b2cc0ebef0d262..6f915afcb817d151efe91e95f1bc482c87eb254e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -213,11 +213,9 @@ install_no_local::
 	mkdir -p $(DATADIR)/why3/emacs
 	mkdir -p $(DATADIR)/why3/lang
 	mkdir -p $(DATADIR)/why3/theories
-	mkdir -p $(DATADIR)/why3/theories/transform
 	mkdir -p $(DATADIR)/why3/modules
 	mkdir -p $(DATADIR)/why3/drivers
 	cp -f theories/*.why $(DATADIR)/why3/theories
-	cp -f theories/transform/*.why $(DATADIR)/why3/theories/transform
 	cp -f modules/*.mlw $(DATADIR)/why3/modules
 	cp -f drivers/*.drv drivers/*.gen $(DATADIR)/why3/drivers
 	cp -f share/provers-detection-data.conf $(DATADIR)/why3/
@@ -1074,7 +1072,7 @@ DISTRIB_FILES = Version Makefile.in configure.in META.in configure .depend.* \
       examples/*/*.xml examples/*/*/*.xml \
       examples/*/*.v   examples/*/*/*.v \
       examples/use_api.ml \
-      theories/*.why theories/*/*.why \
+      theories/*.why \
       modules/*.mlw \
       share/provers-detection-data.conf.in \
       share/emacs/why.el share/images/*.png share/lang/*.lang