1 files changed, 1 insertions, 0 deletions
diff --git a/nb/doc b/nb/doc
new file mode 120000
index 000000000..52ca4225f
--- /dev/null
+++ b/nb/doc
@@ -0,0 +1 @@
+../en/doc
+\ No newline at end of file