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.)
 (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.
+