diff --git a/doc/source/notebooks b/doc/source/notebooks new file mode 120000 index 000000000..da7b19653 --- /dev/null +++ b/doc/source/notebooks @@ -0,0 +1 @@ +../../examples/ \ No newline at end of file