a command to generate an on-disk developer guide

Palabos General
#1

Hi,

Navigating the developer guide online is quite slow. That why I ask what should I do to generate the developer guide locally on my disk so that I can navigate it faster. Thanks.

Best regards.