diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-02-07 18:13:30 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-02-07 18:13:30 -0500 |
commit | afba797082e1cf8929b2679b348b9433359b670c (patch) | |
tree | 1c8d91a49d79385040068e4fe1506a0fe2589ee1 /libre/grub-git/grub-2.00-fix-docs.patch | |
parent | 534a2c53818eed17a6c04f2006e566b479a7c7ac (diff) | |
download | abslibre-afba797082e1cf8929b2679b348b9433359b670c.tar.gz abslibre-afba797082e1cf8929b2679b348b9433359b670c.tar.bz2 abslibre-afba797082e1cf8929b2679b348b9433359b670c.zip |
Removing grub-git: Use grub instead
Diffstat (limited to 'libre/grub-git/grub-2.00-fix-docs.patch')
-rw-r--r-- | libre/grub-git/grub-2.00-fix-docs.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/libre/grub-git/grub-2.00-fix-docs.patch b/libre/grub-git/grub-2.00-fix-docs.patch deleted file mode 100644 index 0aa481154..000000000 --- a/libre/grub-git/grub-2.00-fix-docs.patch +++ /dev/null @@ -1,21 +0,0 @@ -From 40d6b00fa48ae9c1cecf143da5c6061f6ffcb719 Mon Sep 17 00:00:00 2001 -From: Ray Strode <rstrode@redhat.com -Date: Tue, 12 Mar 2013 15:23:02 -0400 -Subject: [PATCH] Fix docs - -I think the doc generation tools got stricter, so fix up the .texi file -to work. - -diff --git a/docs/grub-dev.texi b/docs/grub-dev.texi ---- a/docs/grub-dev.texi -+++ b/docs/grub-dev.texi -@@ -1394,8 +1394,8 @@ grub_video_blit_glyph (&glyph, color, 0, - - @node Bitmap API - @section Bitmap API --@itemize - @subsection grub_video_bitmap_create -+@itemize - @item Prototype: - @example - grub_err_t grub_video_bitmap_create (struct grub_video_bitmap **bitmap, unsigned int width, unsigned int height, enum grub_video_blit_format blit_format) |