diff options
Diffstat (limited to 'manual/intro.texi')
| -rw-r--r-- | manual/intro.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/intro.texi b/manual/intro.texi index 7597807274..fa16041b9b 100644 --- a/manual/intro.texi +++ b/manual/intro.texi @@ -15,7 +15,7 @@ operating system, and extensions specific to the GNU system. The purpose of this manual is to tell you how to use the facilities of the GNU library. We have mentioned which features belong to which -standards to help you identify things that are potentially nonportable +standards to help you identify things that are potentially non-portable to other systems. But the emphasis in this manual is not on strict portability. |