setup.texi
rtems.texi
rtems.sed
