diff --git a/README b/README
new file mode 100644
index 0000000000000000000000000000000000000000..de68f8e194dc5dd058fb69052cb8129204bd4ea5
--- /dev/null
+++ b/README
@@ -0,0 +1 @@
+See README.md.
\ No newline at end of file