From 667c0fb3498e3122a4030de9c2db0f3d52bdafa7 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 16 Oct 2017 10:15:41 +0200
Subject: [PATCH] small fix in doc

---
 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 c40e2fe3d..3e4b178dc 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -501,7 +501,7 @@ default values this would be `/usr/local/lib/plumed/plumed-*`. These files are n
 to avoid clashes, but can be executed also when plumed is cross compiled and the main plumed executable cannot be
 launched.
 
-\section Installation Installing PLUMED with MacPorts
+\section Installation-macports Installing PLUMED with MacPorts
 
 If you are using a Mac, notice that you can take advantage of a MacPorts package.
 Installing a working plumed should be as easy as:
-- 
GitLab