From c96efd22aca8d0c72c5c4015f822fc69dc26ba74 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 2 Jan 2017 17:08:49 -0800 Subject: [PATCH] doc: fix typo in previous change --- doc/gnulib-readme.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/gnulib-readme.texi b/doc/gnulib-readme.texi index ecd94c3ef2..142143f018 100644 --- a/doc/gnulib-readme.texi +++ b/doc/gnulib-readme.texi @@ -299,8 +299,8 @@ possibly operating with a C library that predates C89; with time this assumption will likely be strengthened to later versions of the C standard. Old platforms currently supported include AIX 6.1, HP-UX 11i v1 and Solaris 10, though these platforms are rarely tested. -Gnulib itself is so old that it contains contains many fixes for -obsolete platforms, fixes that may be removed in the future. +Gnulib itself is so old that it contains many fixes for obsolete +platforms, fixes that may be removed in the future. Because of the freestanding C89 assumption, Gnulib code can include @code{}, @code{}, @code{}, and -- 2.39.5