[RTEMS Project] #4095: Remove doc from rtems-tools

[RTEMS trac]

#4095: Remove doc from rtems-tools
--------------------------+-------------------------
  Reporter:  Chris Johns  |      Owner:  Chris Johns
      Type:  task         |     Status:  assigned
  Priority:  normal       |  Milestone:  6.1
 Component:  tool         |    Version:  6
  Severity:  normal       |   Keywords:
Blocked By:               |   Blocking:
--------------------------+-------------------------
 This directory is not used and needs to go. I will push the change
 directly to the repo to avoid the clutter a review would generate as most
 of the files and imported.

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