I noticed a behavior that seems could either a bug or an unexpected
design decision in the exporting of nodelets in manifest.xml.
As far as I can tell it is impossible to export more than one nodelet.
The two variations I tried were:
<export>
<nodelet plugin="${prefix}/nodelet1.xml"/>
<nodelet plugin="${prefix}/nodelet2.xml"/>
</export>
and:
<export>
<nodelet plugin="${prefix}/nodelet1.xml"/>
</export>
<export>
<nodelet plugin="${prefix}/nodelet2.xml"/>
</export>
Both seem to accept the first declared nodelet and ignore the second.
The work-around is of course to make two separate packages, but in
certain situations that could be a bit annoying.
Anyone know if this is expected behavior? Worth filing a bug report about?
I'm running the latest cturtle packages if it makes a difference.
Andrew Somerville
(text/plain)