Disabled some debug.

Rev: tutorial/manpages:1.24

tutorial/manpages

 // -*- 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) {