From 3ce484ab7eb9c2343945e14b193b0436ca0d2d17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Wed, 13 May 1998 02:49:59 +0200
Subject: [PATCH] Disabled some debug.

Rev: tutorial/manpages:1.17
---
 tutorial/manpages | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tutorial/manpages b/tutorial/manpages
index 9b77a2d10b..5738697535 100644
--- a/tutorial/manpages
+++ b/tutorial/manpages
@@ -1,5 +1,5 @@
 // -*- Pike -*-
-// $Id: manpages,v 1.16 1998/05/13 00:46:29 grubba Exp $
+// $Id: manpages,v 1.17 1998/05/13 00:49:59 grubba Exp $
 
 #include "types.h"
 inherit Stdio.File : out;
@@ -179,7 +179,7 @@ void make_page(string base, TAG tag, string ind, string fbase)
        mkdirhier(globalbase+base);
      }
 
-     verbose = ((names*",") == "Thread.Mutex");
+     // verbose = ((names*",") == "Thread.Mutex");
 
      string page=strip_empty_lines(make_manpage(base,tag->data,ind+" ",fbase));
 
-- 
GitLab