Re: master 5a125fb5a97 1/2: Update to Org 9.7.3

[Eli Zaretskii <eliz@gnu.org>]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Ihor Radchenko <yantar92@posteo.net>,  kyle@kyleam.com,
>   stefankangas@gmail.com,  emacs-devel@gnu.org
> Date: Wed, 12 Jun 2024 10:46:07 -0400
> 
> >> The existence of such script implies that .texi files generated by Org
> >> are not well-formatted. May you please explain why org.org file needs to
> >> be parsed and why parsing org.texi is not sufficient?
> > I don't think it has anything to do with formatting of org.texi.  The
> > issue here is that info/DIR file might be generated when org.texi is
> > not yet available or not yet up-to-date, such as during bootstrap or
> > after some change in org.org.  IOW, the reason for this behavior is
> > that we want to produce info/DIR from the source files, not from the
> > generated files.
> 
> I don't think this argument is very convincing: getting the info "from
> org.org via an awk script" is not that different from getting it "from
> org.org via org-export plus install-info".

If we could use install-info, we didn't need that script at all.  The
comments in the top-level Makefile explain why we don't use
install-info for generating DIR in the build tree.