diff --git a/ChangeLog b/ChangeLog
index ed23d178a..09ffe6506 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2012-09-04  Colin Watson  <cjwatson@debian.org>
+
+	* docs/man/grub-mkdevicemap.h2m: Remove, since grub-mkdevicemap is
+	gone.
+
 2012-09-04  Colin Watson  <cjwatson@ubuntu.com>
 
 	* .bzrignore: Add grub-bios-setup, grub-ofpathname, and
diff --git a/docs/man/grub-mkdevicemap.h2m b/docs/man/grub-mkdevicemap.h2m
deleted file mode 100644
index 3ef8e9712..000000000
--- a/docs/man/grub-mkdevicemap.h2m
+++ /dev/null
@@ -1,4 +0,0 @@
-[NAME]
-grub-mkdevicemap \- generate a GRUB device map file automatically
-[SEE ALSO]
-.BR grub-install (8)