doc: split platform specific information
authorLuca Barbato <lu_zero@gentoo.org>
Sat, 3 Dec 2011 20:25:04 +0000 (21:25 +0100)
committerLuca Barbato <lu_zero@gentoo.org>
Fri, 9 Dec 2011 17:26:31 +0000 (18:26 +0100)
commit1de6e14efe1f3966023ad1121a6ce3fcbbb1b573
treea4a57f3cd3dec89366f243700b069dd9bb57c47e
parent2f017d979154001e7944668447320c9f07324726
doc: split platform specific information

Move the platform-specific information in its own file.
doc/Makefile
doc/general.texi
doc/platform.texi [new file with mode: 0644]