diff --git a/test/cbmc/output/README.md b/test/cbmc/output/README.md
deleted file mode 100644
index 24b3917b..00000000
--- a/test/cbmc/output/README.md
+++ /dev/null
@@ -1,4 +0,0 @@
-CBMC Proof Output Files
-=======================
-
-This directory contains files with the output from a run of cbmc.
diff --git a/test/cbmc/output/latest/html/README.md b/test/cbmc/output/latest/html/README.md
new file mode 100644
index 00000000..41d03de7
--- /dev/null
+++ b/test/cbmc/output/latest/html/README.md
@@ -0,0 +1,4 @@
+CBMC proof output
+=================
+
+This directory contains the output from a run of cbmc.
\ No newline at end of file