Add doc <Howto porting CHANOS to linux PC> in html.