On Wed, Aug 28, 2024 at 01:53:16PM +0200, Patrice Dumas wrote: > Hello, > > I think that it would be better to read all the files in some > directories (only files ending with .conf) to find the htmlxref entries. > > I think that it is better to read only one file htmlxref.cnf (or > HTMLXREF_FILE In the current directory, in the manual directory and in > the user HOME. > > But in $datadir/texinfo, $sysconfdir/texinfo, $XDG_DATA_DIRS, > $XDG_CONFIG_DIRS, /usr/share/texinfo and /usr/local/share/texinfo, it > would be better, in my opinion, to have a directory named htmlxref/ > (or htmlxref.d) and merge all the files ending with .conf. We could > also read htmlxref.cnf (or HTMLXREF_FILE) directly in $dir/texinfo/ for > backward compatibility. > > The idea is to make it simpler > * to have diverse groups add their list of htmlxref entries. This could be > a step towards what Eli proposed. > * to have GNU/Linux distributions add htmlxref entries. > * for other software packages to add their lists (texi2html if it was still > maintained, or other software that generate online manuals that can be > targets of Texinfo cross-references).
In principle this is a good idea to allow the accumulation of htmlxref entries from different sources.
