Adding boards to arduino-eclipse-plugin (intel Edison)

Hi,

I could manage to add Intel Edison board on Arduino's IDE by adding it on the Board Manager menu.

However, it did not update the boards.txt file, which is used to populate the board's list of arduino-eclipse-plugin (on Eclipse IDE).

I could not find any solution all over the forum.

Can any one give it a hint?

Thanks.

Sylvio