diff options
Diffstat (limited to 'sysutils/grub/files/patch-dosc_Makefile.in')
| -rw-r--r-- | sysutils/grub/files/patch-dosc_Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/sysutils/grub/files/patch-dosc_Makefile.in b/sysutils/grub/files/patch-dosc_Makefile.in deleted file mode 100644 index 8257deb6bff6..000000000000 --- a/sysutils/grub/files/patch-dosc_Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- docs/Makefile.in.orig Thu Jul 5 07:29:56 2001 -+++ docs/Makefile.in Wed Oct 24 09:09:39 2001 -@@ -248,7 +248,7 @@ - MAKEINFO='$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir)' \ - $(TEXI2DVI) $< - --MAKEINFO = @MAKEINFO@ -+MAKEINFO = @MAKEINFO@ --no-split - TEXI2DVI = texi2dvi - DVIPS = dvips - .dvi.ps: |