diff options
Diffstat (limited to 'sysutils/grub/files/patch-docs_Makefile.in')
| -rw-r--r-- | sysutils/grub/files/patch-docs_Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/sysutils/grub/files/patch-docs_Makefile.in b/sysutils/grub/files/patch-docs_Makefile.in deleted file mode 100644 index 74a3696..0000000 --- a/sysutils/grub/files/patch-docs_Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- docs/Makefile.in.orig Sun Oct 19 21:28:23 2003 -+++ docs/Makefile.in Mon Jan 26 15:23:34 2004 -@@ -79,7 +79,7 @@ - MAINT = @MAINT@ - MAINTAINER_MODE_FALSE = @MAINTAINER_MODE_FALSE@ - MAINTAINER_MODE_TRUE = @MAINTAINER_MODE_TRUE@ --MAKEINFO = @MAKEINFO@ -+MAKEINFO = @MAKEINFO@ --no-split - NETBOOT_DRIVERS = @NETBOOT_DRIVERS@ - NETBOOT_SUPPORT_FALSE = @NETBOOT_SUPPORT_FALSE@ - NETBOOT_SUPPORT_TRUE = @NETBOOT_SUPPORT_TRUE@ |
