[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unable to build documentation
|
From: |
Bruno Haible |
|
Subject: |
Re: Unable to build documentation |
|
Date: |
Tue, 20 Jun 2023 18:27:32 +0200 (CEST) |
Thanks for the report.
My mistake; I'll fix that soon.
In the meantime, please use the HTML formatted documentation.
Bruno