doc: fix typo
authorJim Meyering <meyering@redhat.com>
Tue, 17 May 2011 06:17:42 +0000 (08:17 +0200)
committerJim Meyering <meyering@redhat.com>
Tue, 17 May 2011 06:17:42 +0000 (08:17 +0200)
commitb5aab1e9a03e2abc2c518ccafb5313a9697614ea
tree988ed7242e23bcd69f99d3016828d9de265ea7d5
parent5133fd74885e741c74a2087521c194eb792b16b1
doc: fix typo

* doc/gnulib-intro.texi (Target Platforms): s/is/are/
ChangeLog
doc/gnulib-intro.texi