diff --git a/Makefile b/Makefile
index 746a5d2d232d6dd07a1be4ddeed038de0893da05..1a6361c38cc73f36be4c15bb4a91a68e48f5011f 100644
--- a/Makefile
+++ b/Makefile
@@ -397,13 +397,6 @@ LIB_CMO =\
 	src/libraries/utils/filepath \
 	src/libraries/utils/json
 
-GENERATED+= src/libraries/utils/json.ml src/libraries/stdlib/transitioning.ml
-
-src/libraries/stdlib/transitioning.ml: src/libraries/stdlib/transitioning.ml.in
-	rm -f $@
-	sed -e 's/@SPLIT_ON_CHAR@/$(SPLIT_ON_CHAR)/g' $< > $@
-	$(CHMOD_RO) $@
-
 NON_OPAQUE_DEPS+=\
   src/libraries/datatype/unmarshal_z \
   src/libraries/stdlib/integer
diff --git a/Makefile.generating b/Makefile.generating
index 44b7af581e1ccfaf2fa40040a8b30562fa6f8df5..04345cfadc6f701bd00c729a33671d7bf0e24394 100644
--- a/Makefile.generating
+++ b/Makefile.generating
@@ -118,7 +118,16 @@ $(MACHDEP_PATH)/local_machdep.ml: \
 
 endif
 
+# transitioning.ml
 
+GENERATED+= src/libraries/utils/json.ml src/libraries/stdlib/transitioning.ml
+
+src/libraries/stdlib/transitioning.ml: \
+  src/libraries/stdlib/transitioning.ml.in \
+  Makefile.generating share/Makefile.config
+	rm -f $@
+	sed -e 's/@SPLIT_ON_CHAR@/$(SPLIT_ON_CHAR)/g' $< > $@
+	$(CHMOD_RO) $@
 
 ##################
 # Frama-C-config #