Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision a514fedcd49adb707a37172a7c0e12f107a6d549)
+++ doc/user/Makefile	(revision 4226eedea8f0ca871b86969883d3dd7a5d0355b0)
@@ -9,5 +9,5 @@
 BibTeX = BIBINPUTS=${BibDir}: && export BIBINPUTS && bibtex
 
-MAKEFLAGS = --no-print-directory --silent #
+MAKEFLAGS = --no-print-directory # --silent
 VPATH = ${Build} ${Figures}