]> Savannah Git Hosting - gnulib.git/commit
doc: move exotic platfroms to Target Platforms
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 5 Dec 2020 21:10:28 +0000 (13:10 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 5 Dec 2020 22:53:23 +0000 (14:53 -0800)
commit496a4a00494119db97a7930dbde96f87d0a73aef
tree6d11c6c96742b2c5138e4c9760ca492b2c18acc5
parent5aa11643614fb18fd3a00121fff0949fad8a0f3f
doc: move exotic platfroms to Target Platforms

* doc/gnulib-intro.texi (Supported Platforms)
(Formerly Supported Platforms, Unsupported Platforms):
New subsections, split off from Target Platforms.
(Unsupported Platforms): Move the exotic-platform stuff here ...
* doc/gnulib-readme.texi (Exotic platforms): ... from this removed
section.
ChangeLog
doc/gnulib-intro.texi
doc/gnulib-readme.texi