diff --git a/README b/README new file mode 100644 index 0000000000..c79dcc986c --- /dev/null +++ b/README @@ -0,0 +1 @@ +The main documentation file is DOCS/documentation.html