Subject: Re: bug#71394: [PATCH] Update .org->.texi Makefile target for new Org 9.7 release
From: Eli Zaretskii <[email-masked]>
To: Ihor Radchenko <[email-masked]>
Cc: [email-masked]
Date: Thu, 06 Jun 2024 15:36:46 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

> From: Ihor Radchenko <[email-masked]>
> Date: Thu, 06 Jun 2024 12:07:34 +0000
> 
> May you please install the attached patch for .org->.texi Makefile rule?
> The patch enables evaluation of code blocks inside the manual - this
> allows generating parts of the manual programatically.

Done, after massaging the commit log message (lines were too long).