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