[RTEMS Project] #2812: Remove Texinfo Documentation

[RTEMS trac]

#2812: Remove Texinfo Documentation
---------------------------+--------------------
 Reporter:  joel.sherrill  |      Owner:  chrisj
     Type:  defect         |     Status:  new
 Priority:  normal         |  Milestone:  4.11.1
Component:  Documentation  |    Version:  4.11
 Severity:  normal         |   Keywords:
---------------------------+--------------------
 With the converted documentation now suitable for public distribution and
 the new Sphinx documentation being the official documentation source, the
 Texinfo documentation source in the development tree needs to be removed.

 The attached patch is against the master but should apply easily to 4.11.

 Commit when ready, Chris.

--
Ticket URL: <http://devel.rtems.org/ticket/2812>
RTEMS Project <http://www.rtems.org/>
RTEMS Project