diff --git a/docs/figs b/docs/figs
new file mode 120000
index 00000000..d440220d
--- /dev/null
+++ b/docs/figs
@@ -0,0 +1 @@
+../figs/
\ No newline at end of file