Doc nit.
commit982bd4598eed2549ce1c2cd1f9bae3fa6cdf3e86
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 30 Aug 2010 01:57:16 +0000 (30 03:57 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 30 Aug 2010 01:57:16 +0000 (30 03:57 +0200)
treedfb6b77df020961ad2fe9c7b01a8e117ea95397f
parent31c71af19fdd61f0eda2fd2d0a166d6fce4cb9c7
Doc nit.
doc/install.texi