diff --git a/tools/readme.md b/tools/readme.md
new file mode 100644
index 0000000000..06f42d3370
--- /dev/null
+++ b/tools/readme.md
@@ -0,0 +1,5 @@
+The git-update-ghpages script comes from
+https://github.com/rstacruz/git-update-ghpages. It is modified to fix syntax
+errors, as reported in this
+[issue](https://github.com/rstacruz/git-update-ghpages/issues/1), and
+prevent failures when there's nothing to commit.