From 601553cc1f081b1b44a6c168a40f296833386b41 Mon Sep 17 00:00:00 2001
From: carlocamilloni <carlo.camilloni@gmail.com>
Date: Mon, 15 Oct 2018 16:28:26 +0200
Subject: [PATCH] user docs fixes

---
 user-doc/Installation.txt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 6860de79a..6acf244b8 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -331,7 +331,7 @@ possible kinds of innocuous errors:
   some feature introduced in PLUMED in a newer version.
 - If `plumed` executable is newer than the test suite, the tests might fail since some
   non-backward compatible change was made in PLUMED. We try to keep the number
-  of non-backward compatible changes small, but as you can see in the \ref Changelog there
+  of non-backward compatible changes small, but as you can see in the \ref ChangeLog there
   are typically a few of them at every new major release.
 
 \attention
@@ -678,7 +678,6 @@ export CRAYPE_LINK_TYPE=dynamic
 \endverbatim
   Adding libraries to `STATIC_LIBS` uses them for all the linking steps, whereas those in `LIBS` are only used when linking the PLUMED kernel library.
   See more at [this thread](https://groups.google.com/d/msgid/plumed-users/CAB1aw3y0m%3D5qwzsZY4ZB-aBevsL5iuS%3DmQuSWK_cw527zCMqzg%40mail.gmail.com?utm_medium=email&utm_source=footer).
-\endverbatim
 
 \page CodeSpecificNotes Code specific notes
 
-- 
GitLab