Index: /trunk/Mars/INSTALL
===================================================================
--- /trunk/Mars/INSTALL	(revision 19871)
+++ /trunk/Mars/INSTALL	(revision 19871)
@@ -0,0 +1,2 @@
+Please follow the instructions at
+https://trac.fact-project.org/wiki/InstallingMars