Re: Unable to build documentation

Tue, 20 Jun 2023 09:28:00 -0700

Thanks for the report.
My mistake; I'll fix that soon.
In the meantime, please use the HTML formatted documentation.
 
Bruno
 

Reply via email to