[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Bug#80394: Patch
From: |
Matt Zimmerman |
Subject: |
Bug#80394: Patch |
Date: |
Sun, 28 Jan 2001 15:32:57 -0500 |
User-agent: |
Mutt/1.3.12i |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Bug#80394: Patch,
Matt Zimmerman <=