From 2fb82b54b1b2380d457fb4cbe9a7320468903d81 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:49:54 +0200
Subject: Add a symbolic link to the generated documentation

---
 doc.html | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 doc.html

(limited to 'doc.html')

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
-- 
cgit v1.2.3