From e8b2fe80cd5a7f1e68627992e952c36585710a09 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 16 Jun 2016 12:22:09 +0200
Subject: [PATCH] add notice about port files

---
 user-doc/Installation.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 6b52fde41..680f48c69 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 
-- 
GitLab