# HG changeset patch
# User Jim Hague <jim.hague@laicatc.com>
# Date 1364892440 -3600
# Node ID 8bea9fdeba40be80f752fcf9c18f4144fa12fb42
# Parent  c61e76799e51ed727d267b0f923d7337ae5966e7
Revert tracing change than slipped into the archive.

diff -r c61e76799e51 -r 8bea9fdeba40 makeWeb.sh
--- a/makeWeb.sh	Sun Mar 31 21:33:56 2013 +0100
+++ b/makeWeb.sh	Tue Apr 02 09:47:20 2013 +0100
@@ -4,7 +4,7 @@
 # to be already built.
 #
 
-set -x
+#set -x
 
 # Restore titles like 'Exploding Potato, The' to the
 # expected 'The Exploding Potato'.