diff --git a/README-DO-NOT-EDIT b/README
similarity index 85%
copy from README-DO-NOT-EDIT
copy to README
index 837da9c0884c9264585b1705dea25f45206cb500_UkVBRE1FLURPLU5PVC1FRElU..bd0d982e013b1528626c66c8239124d0ef10d49c_UkVBRE1F 100644
--- a/README-DO-NOT-EDIT
+++ b/README
@@ -1,2 +1,4 @@
+README-DO-NOT-EDIT
+
 These html files are not written by hand!
 See source/README.