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