Detail on how to regenerate reference help

diff --git a/doc/reference/README b/doc/reference/README
index ab5a4af2e27304852e8597f75f7f5f0cfce716d1..171da453da71a2183d067da28329360c2c9069a5 100644 (file)
--- a/doc/reference/README
+++ b/doc/reference/README
@@ -7,3 +7,18 @@ Then, cd to doc/reference and launch make command.
 (This directory is not recursively make when launching make from top
 directory. So, this avoid spending time in reference documentation
 computation when not really needed.)
+
+Unfortunately to regenerate the references running make again does not
+detect any changes to the source files, thus it must be regenerated
+manually:
+
+$ make clean ; make
+
+If you want remove the generated HTML files you need to perform a more
+thorough cleanse:
+
+$ make distclean
+
+Unfortunately this also removes the Makefile, so you have to go through
+the ./configure steps again to regenerate the Makefile.
+