Outdated documentation hosted on the RTEMS FTP (and indexed by search engines)

[Amaan Cheval]

Hi!

A month or so ago we discussed some possibly outdated docs being
hosted on the RTEMS FTP for specific users.
https://lists.rtems.org/pipermail/devel/2018-May/021480.html

Here's a few others I've found indexed on Google:
- https://ftp.rtems.org/pub/rtems/people/sebh/c-user/html/glossary.html
- https://ftp.rtems.org/pub/rtems/people/joel/doc/c_user/configuring_a_system.html

Regards,
Amaan