diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 6b52fde41a58d315f0b603ca900bfb81d8a4315a..680f48c69a125e2bdcf648864fa33d86d2c7c4b4 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -40,6 +40,10 @@ in their official distribution. If your favorite MD code is available "PLUMED re
 you will have to compile PLUMED first, then (optionally) install it, then check the MD codes' manual to
 discover how to link it.
 
+If you are using a Mac, notice that we are providing tentative port files to install
+PLUMED with MacPorts. Follow the instructions <a href=\"http://github.com/plumed/ports">here</a>
+and report feedbacks on the mailing list.
+
 \section ConfiguringPlumed Configuring PLUMED
 
 The `./configure` command