From e93741c849d40ffeb4609e76f7439f6e349669ea Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 23 Jun 2016 08:51:24 +0200
Subject: [PATCH] typo

[makedoc]
---
 user-doc/Installation.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 680f48c69..ef961ead8 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -41,7 +41,7 @@ you will have to compile PLUMED first, then (optionally) install it, then check
 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>
+PLUMED with MacPorts. Follow the instructions at [this link](http://github.com/plumed/ports)
 and report feedbacks on the mailing list.
 
 \section ConfiguringPlumed Configuring PLUMED
-- 
GitLab