Checkout
antoine
committed
on 17 May 15
regenerating the documentation to update the choose-distrib.html page