1 files changed, 1 insertions, 0 deletions
diff --git a/doc.html b/doc.html
new file mode 120000
index 00000000..735da014
--- /dev/null
+++ b/doc.html
@@ -0,0 +1 @@
+compiler/_build/default/_doc/_html/aeneas/index.html
+\ No newline at end of file