diff --git a/tutorial/manpages b/tutorial/manpages
index e898c10f289390027929f09513a07616a9100ee2..84216f2a71cd7c2c47f8a6b21af1bb7552a9c1fc 100644
--- a/tutorial/manpages
+++ b/tutorial/manpages
@@ -1,5 +1,5 @@
 // -*- Pike -*-
-// $Id: manpages,v 1.23 1999/04/17 17:10:07 grubba Exp $
+// $Id: manpages,v 1.24 1999/04/17 17:18:24 grubba Exp $
 
 #include "types.h"
 
@@ -209,7 +209,7 @@ void make_page(string base, TAG tag, string ind, string fbase)
 			  return u+"/"+s+"."+base;
 			},fbase,globalbase,base);
 
-     verbose = (names[0] == "Stdio.sendfile");
+     // verbose = (names[0] == "Stdio.sendfile");
 
      sscanf(outfiles[0],"%*s/man%*s/%s",q);
      if (q) {