On Thu, Feb 20, 2025 at 09:54:42PM +0100, Patrice Dumas wrote: > On Thu, Feb 20, 2025 at 07:48:45PM +0000, Gavin Smith wrote: > > On Thu, Feb 20, 2025 at 12:07:44AM +0100, Sebastian Meyer wrote: > > > For a collection of Texinfo manuals that reference each other but no other > > > manuals, `-c HTMLXREF_MODE=none` could be used for `texi2any --html` to > > > force links in the generated HTML manuals to point to the local---thus > > > same-version---HTML files rather than to a (canonical) website from a > > > (built-in) htmlxref.cnf (that possibly serves a different version of the > > > manuals). > > > > > > Using this approach, Texinfo >= 7.2 now shows warnings of the form > > > > > > warning: no HTML cross-references entry found for `...' > > > > > > which I can mute by an additional `-c CHECK_HTMLXREF=0`. > > > Should that be the default for `HTMLXREF_MODE=none` ? > > > > Yes, I think that would make sense to make this the default. Thanks for > > the suggestion. > > I think that CHECK_HTMLXREF should be completly ignored if HTMLXREF_MODE=none, > such that there are no warnings even if CHECK_HTMLXREF=1.
Done in https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=6a3acde4140e549d22783408b2c16a095aae4743 Thanks for the report! -- Pat
