On Mon, Feb 17, 2025 at 06:33:30PM +0000, Gavin Smith wrote: > It should be easy to create an htmlxref.d directory and upload the > two files there.
Should I document that in the manual? > There would be the question of whether we then delete the uploaded > (unitary) htmlxref.cnf. We would not be making any more updates to > that file. Users of older Texinfo versions could still use newer data > by concatenating the two files and calling the result "htmlxref.cnf", > except the "htmlxrefversion" variable would be set twice, which hopefully > isn't a problem. It is not a problem, it is actually interpreted as setting the htmlxrefversion variable value, and, as far as I can tell, nothing prevents a variable to be set twice. > Users could also get these data files from the git repository, although > downloading them from the web URL is likely more straightforward. -- Pat
