Bug#80394: Patch

[Matt Zimmerman]

Here is a patch to fix this problem (it adds a space after the -I option):

--- rules.orig  Sun Jan 28 15:29:19 2001
+++ rules       Sun Jan 28 15:28:16 2001
@@ -51,8 +51,8 @@
 
        top=`pwd` && cd debian/tmp/usr/share/doc/grub && \
          ln -s $$top/docs/{grub,multiboot}.texi . && \
-         texi2html -split_chapter -I$$top/docs grub.texi && \
-         texi2html -split_chapter -I$$top/docs multiboot.texi && \
+         texi2html -split_chapter -I $$top/docs grub.texi && \
+         texi2html -split_chapter -I $$top/docs multiboot.texi && \
          rm -f grub.texi multiboot.texi
 
        gzip -f9 debian/tmp/usr/share/info/* debian/tmp/usr/share/man/*/*

-- 
 - mdz