diff --git a/docs/Documentation.webloc b/docs/Documentation.webloc
new file mode 100644
index 000000000..e3c37f718
Binary files /dev/null and b/docs/Documentation.webloc differ