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