diff --git a/doc b/doc
new file mode 160000
index 0000000..745082d
--- /dev/null
+++ b/doc
@@ -0,0 +1 @@
+Subproject commit 745082dbd385905c800295d50df38c9a6de22475