diff --git a/test/xref2/module_type_of_size.t/compile.sh b/test/xref2/module_type_of_size.t/compile.sh
deleted file mode 100755
index 0b4d6d4984..0000000000
--- a/test/xref2/module_type_of_size.t/compile.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-set -ex
-ocamlc -c m1.mli -bin-annot
-ocamlc -c m2.mli -bin-annot
-ocamlc -c m3.mli -bin-annot
-ocamlc -c m4.mli -bin-annot
-ocamlc -c m5.mli -bin-annot
-ocamlc -c m6.mli -bin-annot
-ocamlc -c m7.mli -bin-annot
-ocamlc -c m8.mli -bin-annot
-ocamlc -c m9.mli -bin-annot
-ocamlc -c m10.mli -bin-annot
-ocamlc -c m11.mli -bin-annot
-ocamlc -c m12.mli -bin-annot
-ocamlc -c m13.mli -bin-annot
-ocamlc -c m14.mli -bin-annot
diff --git a/test/xref2/module_type_of_size.t/gen.sh b/test/xref2/module_type_of_size.t/gen.sh
deleted file mode 100755
index 57e360c131..0000000000
--- a/test/xref2/module_type_of_size.t/gen.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-for ((i=2; i<15; i++)); do echo "module type M = module type of M$((i-1)) with module N = M1.T" > m$i.mli; echo "module N : sig type t end" >> m$i.mli; done
-
-echo "#!/bin/sh" > compile.sh
-echo "set -ex" >> compile.sh
-for ((i=1; i<15; i++)); do echo "ocamlc -c m$i.mli -bin-annot" >> compile.sh; done
-
-echo "#!/bin/sh" > odoc.sh
-echo "set -ex" >> odoc.sh
-for ((i=1; i<15; i++)); do echo "odoc compile -I . m$i.cmti" >> odoc.sh; done
-
-chmod +x compile.sh odoc.sh
-
diff --git a/test/xref2/module_type_of_size.t/m10.mli b/test/xref2/module_type_of_size.t/m10.mli
deleted file mode 100644
index ea80b12267..0000000000
--- a/test/xref2/module_type_of_size.t/m10.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M9 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m11.mli b/test/xref2/module_type_of_size.t/m11.mli
deleted file mode 100644
index 6790371ec4..0000000000
--- a/test/xref2/module_type_of_size.t/m11.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M10 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m12.mli b/test/xref2/module_type_of_size.t/m12.mli
deleted file mode 100644
index c99af78fea..0000000000
--- a/test/xref2/module_type_of_size.t/m12.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M11 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m13.mli b/test/xref2/module_type_of_size.t/m13.mli
deleted file mode 100644
index 806d6a0aaf..0000000000
--- a/test/xref2/module_type_of_size.t/m13.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M12 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m14.mli b/test/xref2/module_type_of_size.t/m14.mli
deleted file mode 100644
index 1a3580f1ab..0000000000
--- a/test/xref2/module_type_of_size.t/m14.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M13 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m2.mli b/test/xref2/module_type_of_size.t/m2.mli
deleted file mode 100644
index 0169754573..0000000000
--- a/test/xref2/module_type_of_size.t/m2.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M1 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m3.mli b/test/xref2/module_type_of_size.t/m3.mli
deleted file mode 100644
index 06c3a5586b..0000000000
--- a/test/xref2/module_type_of_size.t/m3.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M2 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m4.mli b/test/xref2/module_type_of_size.t/m4.mli
deleted file mode 100644
index 4b68f2442a..0000000000
--- a/test/xref2/module_type_of_size.t/m4.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M3 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m5.mli b/test/xref2/module_type_of_size.t/m5.mli
deleted file mode 100644
index 78cca88422..0000000000
--- a/test/xref2/module_type_of_size.t/m5.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M4 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m6.mli b/test/xref2/module_type_of_size.t/m6.mli
deleted file mode 100644
index c4d0232458..0000000000
--- a/test/xref2/module_type_of_size.t/m6.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M5 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m7.mli b/test/xref2/module_type_of_size.t/m7.mli
deleted file mode 100644
index 265094b65a..0000000000
--- a/test/xref2/module_type_of_size.t/m7.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M6 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m8.mli b/test/xref2/module_type_of_size.t/m8.mli
deleted file mode 100644
index 40870803cc..0000000000
--- a/test/xref2/module_type_of_size.t/m8.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M7 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/m9.mli b/test/xref2/module_type_of_size.t/m9.mli
deleted file mode 100644
index a55d397018..0000000000
--- a/test/xref2/module_type_of_size.t/m9.mli
+++ /dev/null
@@ -1,2 +0,0 @@
-module type M = module type of M8 with module N = M1.T
-module N : sig type t end
diff --git a/test/xref2/module_type_of_size.t/odoc.sh b/test/xref2/module_type_of_size.t/odoc.sh
deleted file mode 100755
index 2e2fc7a1c5..0000000000
--- a/test/xref2/module_type_of_size.t/odoc.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-set -ex
-odoc compile -I . m1.cmti
-odoc compile -I . m2.cmti
-odoc compile -I . m3.cmti
-odoc compile -I . m4.cmti
-odoc compile -I . m5.cmti
-odoc compile -I . m6.cmti
-odoc compile -I . m7.cmti
-odoc compile -I . m8.cmti
-odoc compile -I . m9.cmti
-odoc compile -I . m10.cmti
-odoc compile -I . m11.cmti
-odoc compile -I . m12.cmti
-odoc compile -I . m13.cmti
-odoc compile -I . m14.cmti
diff --git a/test/xref2/module_type_of_size.t/run.t b/test/xref2/module_type_of_size.t/run.t
index ff142bf44b..da52c9a33d 100644
--- a/test/xref2/module_type_of_size.t/run.t
+++ b/test/xref2/module_type_of_size.t/run.t
@@ -12,40 +12,16 @@ Start with a base module:
   module N : sig type t end
   module T : sig type t type u end
 
-Script to compile the modules:
-  $ ./compile.sh
-  + ocamlc -c m1.mli -bin-annot
-  + ocamlc -c m2.mli -bin-annot
-  + ocamlc -c m3.mli -bin-annot
-  + ocamlc -c m4.mli -bin-annot
-  + ocamlc -c m5.mli -bin-annot
-  + ocamlc -c m6.mli -bin-annot
-  + ocamlc -c m7.mli -bin-annot
-  + ocamlc -c m8.mli -bin-annot
-  + ocamlc -c m9.mli -bin-annot
-  + ocamlc -c m10.mli -bin-annot
-  + ocamlc -c m11.mli -bin-annot
-  + ocamlc -c m12.mli -bin-annot
-  + ocamlc -c m13.mli -bin-annot
-  + ocamlc -c m14.mli -bin-annot
-
-And one to run odoc on the files:
-  $ ./odoc.sh
-  + odoc compile -I . m1.cmti
-  + odoc compile -I . m2.cmti
-  + odoc compile -I . m3.cmti
-  + odoc compile -I . m4.cmti
-  + odoc compile -I . m5.cmti
-  + odoc compile -I . m6.cmti
-  + odoc compile -I . m7.cmti
-  + odoc compile -I . m8.cmti
-  + odoc compile -I . m9.cmti
-  + odoc compile -I . m10.cmti
-  + odoc compile -I . m11.cmti
-  + odoc compile -I . m12.cmti
-  + odoc compile -I . m13.cmti
-  + odoc compile -I . m14.cmti
+Generate a chain of `module type of`s:
 
+  $ N=15
+  $ for ((i=2; i<$N; i++)); do echo "module type M = module type of M$((i-1)) with module N = M1.T" > m$i.mli; echo "module N : sig type t end" >> m$i.mli; done
+
+Compile the modules:
+
+  $ for ((i=1; i<$N; i++)); do ocamlc -c "m$i.mli" -bin-annot; done
+
+  $ for ((i=1; i<$N; i++)); do odoc compile -I . "m$i.cmti"; done
 
 None of the files really ought to be bigger than 1M!