[josm-dev] How external plugins are added to plugin list

[Josh Doe]

I can't seem to find how the plugin list [0] is generated,
specifically how "external plugins" are added to this list. Presumably
there is some script which generates that file, which I can't find.
I'd like to move my work-in-progress conflation plugin out of SVN and
onto Github, but don't understand how I would add it to the plugin
list. Currently I see four such external plugins.
-Josh

[0]: http://josm.openstreetmap.de/plugin