Why is grub-bin2h installed?

[Colin Watson]

Do we need to install grub-bin2h as part of 'make install'?  Right now
it goes in @prefix@/bin - but as far as I can see it's only used during
the build process to build ascii.h and widthspec.h.

(Noticed while wondering how on earth to document the thing properly.)

2011-04-21  Colin Watson  <address@hidden>

        * Makefile.util.def (grub-bin2h): Don't install.
        * docs/man/grub-bin2h.h2m: Remove.

=== modified file 'Makefile.util.def'
--- Makefile.util.def   2011-04-11 05:56:31 +0000
+++ Makefile.util.def   2011-04-21 13:55:25 +0000
@@ -109,7 +109,7 @@ program = {
   ldadd = libgrubkern.a;
   ldadd = grub-core/gnulib/libgnu.a;
   ldadd = '$(LIBINTL) $(LIBDEVMAPPER)';
-  mansection = 1;
+  installdir = noinst;
 };
 
 program = {

=== removed file 'docs/man/grub-bin2h.h2m'
--- docs/man/grub-bin2h.h2m     2010-06-11 21:12:16 +0000
+++ docs/man/grub-bin2h.h2m     1970-01-01 00:00:00 +0000
@@ -1,2 +0,0 @@
-[NAME]
-grub-bin2h \- convert a binary file to a C header

-- 
Colin Watson                                       address@hidden