Build gallery also for HTML Help docs