diff --git a/debian/patches/restore_mkdevicemap.patch b/debian/patches/restore_mkdevicemap.patch
index 48bb8cdb3..e762849c9 100644
--- a/debian/patches/restore_mkdevicemap.patch
+++ b/debian/patches/restore_mkdevicemap.patch
@@ -25,6 +25,15 @@ Index: b/Makefile.util.def
    name = grub-probe;
    installdir = sbin;
    mansection = 8;
+Index: b/docs/man/grub-mkdevicemap.h2m
+===================================================================
+--- /dev/null
++++ b/docs/man/grub-mkdevicemap.h2m
+@@ -0,0 +1,4 @@
++[NAME]
++grub-mkdevicemap \- make a device map file automatically
++[SEE ALSO]
++.BR grub-probe (8)
 Index: b/include/grub/util/deviceiter.h
 ===================================================================
 --- /dev/null
diff --git a/docs/man/grub-mkdevicemap.h2m b/docs/man/grub-mkdevicemap.h2m
new file mode 100644
index 000000000..96cd6ee72
--- /dev/null
+++ b/docs/man/grub-mkdevicemap.h2m
@@ -0,0 +1,4 @@
+[NAME]
+grub-mkdevicemap \- make a device map file automatically
+[SEE ALSO]
+.BR grub-probe (8)