* docs/man/grub-mkdevicemap.h2m: Remove, since grub-mkdevicemap is

gone.

diff --git a/ChangeLog b/ChangeLog
index ed23d178a7a15e35088ff628151185e42342d6d9..09ffe65063e384f86df194f846def84f32dad55f 100644 (file)
--- 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 (file)
index 3ef8e97..0000000
--- 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)