[RTEMS Project] #2865: Coverpage installed when building the docs repeats catalogue.xml entries

[RTEMS trac]

#2865: Coverpage installed when building the docs repeats catalogue.xml entries
---------------------------+--------------------
 Reporter:  chrisj         |      Owner:  chrisj
     Type:  defect         |     Status:  new
 Priority:  normal         |  Milestone:  4.12
Component:  Documentation  |    Version:  4.12
 Severity:  normal         |   Keywords:
---------------------------+--------------------
 The catalogue repeats entries.

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