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