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

[Eli Zaretskii]

> From: Ihor Radchenko <yantar92@posteo.net>
> Cc: Eli Zaretskii <eliz@gnu.org>, kyle@kyleam.com, emacs-devel@gnu.org,
>  monnier@iro.umontreal.ca
> Date: Thu, 13 Jun 2024 16:12:08 +0000
> 
> Stefan Kangas <stefankangas@gmail.com> writes:
> 
> > Eli Zaretskii <eliz@gnu.org> writes:
> >
> >> Maybe Stefan could tell how he found this problem, and then we can
> >> take it from there.
> >
> > I noticed that I could no longer find the Org manual in `C-h i` after
> > make bootstrap.
> 
> Then, the simplest kind of test might be making sure that
> "/info/dir" file lists each /info/*.info file as ^\* .+: (<info file name>).
> Does it make sense?

That's fragile, I think: there's no 100% guarantee that the above must
happen.

I'd rather use install-info.  For example:

   . run "install-info --delete $f DIR" for each target Info file
   . copy the resulting file DIR to DIR.empty1 (it should have no entries)
   . run "install-info $f DIR" for each target Info file
   . run "install-info --delete $f DIR" for each target Info file
   . compare DIR with DIR.empty -- they should be identical