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