diff --git a/docu/mars-manual.pdf b/docu/mars-manual.pdf
new file mode 120000
index 00000000..d2f6158d
--- /dev/null
+++ b/docu/mars-manual.pdf
@@ -0,0 +1 @@
+mars-user-manual.pdf
\ No newline at end of file