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