diff --git a/docs/website b/docs/website new file mode 120000 index 0000000000..9c558e357c --- /dev/null +++ b/docs/website @@ -0,0 +1 @@ +.