[PATCH] Generate Algol68 frontend docs

[Mark Wielaard]

Hi Pietro,

On Mon, Dec 08, 2025 at 01:27:25PM -0500, Pietro Monteiro wrote:
> Subject: [PATCH] Generate Algol68 frontend docs

Applied.

Thanks,

Mark