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