diff makeWeb.sh @ 238:8bea9fdeba40

Revert tracing change than slipped into the archive.
author Jim Hague <jim.hague@laicatc.com>
date Tue, 02 Apr 2013 09:47:20 +0100
parents c61e76799e51
children 07e9fa311c6f
line wrap: on
line diff
--- 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'.