From 3e0e1dca88637e340aef051edeb3e8b80fdf0845 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Thu, 15 Oct 2009 15:02:38 +0200
Subject: purify_html: Add a header.

---
 purify_html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/purify_html b/purify_html
index a9ead881..4cf582af 100755
--- a/purify_html
+++ b/purify_html
@@ -1,5 +1,9 @@
 #!/bin/sh
 
+# Mangle the rendered files to cause fewer differernces upon re-rendering.
+
+# Written by Thomas Schwinge <tschwinge@gnu.org>.
+
 # Un-mangle mailto links: convert HTML character entities to real characters.
 find ./ -name \*.html -print0 \
   | xargs -0 \
-- 
cgit v1.2.3