diff options
Diffstat (limited to 'academic/gri/texinfo-utf8.patch')
| -rw-r--r-- | academic/gri/texinfo-utf8.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/academic/gri/texinfo-utf8.patch b/academic/gri/texinfo-utf8.patch new file mode 100644 index 0000000000..b63573de33 --- /dev/null +++ b/academic/gri/texinfo-utf8.patch @@ -0,0 +1,12 @@ +diff -Naur gri-2.12.23.orig/doc/gri.texi gri-2.12.23/doc/gri.texi +--- gri-2.12.23.orig/doc/gri.texi 2017-08-24 16:31:52.000000000 +0200 ++++ gri-2.12.23/doc/gri.texi 2019-10-22 15:39:51.666151000 +0200 +@@ -19277,7 +19277,7 @@ + Thomas Larsen, + @cindex Thomas Larsen (contributor) + @cindex contributor, Thomas Larsen +-Alejandro L�pez-Valencia, ++Alejandro Lopez-Valencia, + @cindex Alejandro Lopez-Valencia (contributor) + @cindex contributor, Alejandro Lopez-Valencia + Kawamura Masao,
\ No newline at end of file |