Update supported platforms in documentation.
commit6232716fa266a602e8f8552d840f118c1bc1e84e
authorDidier Verna <didier@lrde.epita.fr>
Sun, 26 Feb 2012 15:46:29 +0000 (26 16:46 +0100)
committerDidier Verna <didier@lrde.epita.fr>
Sun, 26 Feb 2012 15:46:29 +0000 (26 16:46 +0100)
tree1a60fd3d821989e9456f6ddb177079b0fedb068e
parent3f521a0dc834717d18ff326adec8bfe4301c9c25
Update supported platforms in documentation.

ChangeLog entries:

2012-02-26  Didier Verna  <didier@lrde.epita.fr>

* doc/user.texi (Installation):
* doc/user.texi (Supported Platforms): Update supported platforms.
* INSTALL: Propagate.
INSTALL
doc/user.texi