diff --git a/developer-doc/usingDoxygen.txt b/developer-doc/usingDoxygen.txt
index 89eb791d00ce6d7500bc0cea835ebd929af113f9..ca6a9548862a907ea4cbff89897d615dcedc2287 100644
--- a/developer-doc/usingDoxygen.txt
+++ b/developer-doc/usingDoxygen.txt
@@ -3,9 +3,12 @@
 
 \page usingDoxygen Creating plumed documentation
 
-<B> Whenever you make a change to the documentation for PLUMED you need to write include the phrase
+<B> Whenever you make a change to the documentation for PLUMED and you want the
+online version of the manual to be updated, you need to write include the phrase
 [makedoc] in your next commit message.  Doing so ensures that the online manuals are updated the next 
-time you push your commits to master. </B>
+time you push your commits to master.
+See more in the section \ref updating-web-manuals
+</B>
 
 To create the plumed manual you should go to the <b> user-doc </b> directory and type <b> make </b>. 
 This command works because user documentation for all the PLMD::Action is inside the source code.  If