summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2009-10-15 15:02:38 +0200
committerThomas Schwinge <tschwinge@gnu.org>2009-10-15 15:04:06 +0200
commit3e0e1dca88637e340aef051edeb3e8b80fdf0845 (patch)
tree8b095e2c54b4ccea893ad7e3d9de9bbcc67b568c
parenta038ebf6fbd7e715b06850c5d6d9f02a20b68226 (diff)
purify_html: Add a header.
-rwxr-xr-xpurify_html4
1 files changed, 4 insertions, 0 deletions
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 \