diff --git a/util/write-user-docs b/util/write-user-docs
index 9b0e4eb1..9c7fd46e 100755
--- a/util/write-user-docs
+++ b/util/write-user-docs
@@ -73,7 +73,6 @@ fix_html () {
       my $tool = basename($f);
       $tool    =~ s/\.html//;
       my $out = do { open my $fh, q{<}, $f or die "$f: $!"; local $/; <$fh> };
-      warn $out;
       $out =~ s{
 \Q<dt id="\E(cmdoption-$tool--)\Q">\E\s*
 \Q<tt class="descname">--</tt><tt class="descclassname">\E([^<]+)