Update license; improve coverage; add docs dir

[portal.git] / docs / index.rst

diff --git a/docs/index.rst b/docs/index.rst
new file mode 100644 (file)
index 0000000..9d13cbb
--- /dev/null
+++ b/docs/index.rst
@@ -0,0 +1 @@
+This trivial file ensures the doc/ folder is created.