update the table in manual showing which platforms are available in the
distribution