On 09/30/2016 08:13 AM, Florent Rougon wrote: > Or use the following alternative, which lets the user browse the > documentation offline. I found it very nice to do that indeed, but probably too much time consuming for the package maintainer. It'd be nice if we found a way to make it more automated. Does anyone have an idea about how to write such automation? Cheers, Thomas Goirand (zigo)