1 files changed, 1 insertions, 0 deletions

diff --git a/doc/index.html b/doc/index.html
new file mode 120000
index 0000000..473c42c
--- /dev/null
+++ b/doc/index.html
@@ -0,0 +1 @@
+hidra.html
\ No newline at end of file