Hello, I think that it would be better if it was possible to specify a directory to be searched for files in htmlxref.conf to get more entries. This would allow * to have diverse community maintaining the different files * easier customization, by dropping a file in a directory instead of changing a file that is a reference file done by upstream.
I propose to use the following syntax using glob for files to be found in a directory relative to the htmlxref.conf where the htmlxrefinclude directive would be found: htmlxrefinclude dir/*.conf An absolute directory would also be possible: htmlxrefinclude /a/b/*.conf The files would be expanded by calling glob. What do you think? If this is accepted, I would propose that we install in datadir/texinfo, an htmlxref.conf with content: htmlxrefinclude htmlxrefdir/*.conf and in datadir/texinfo/htmlxrefdir/ we would install two files, htmlxref_Texinfo_GNU.conf and htmlxref_Texinfo_other.conf with the GNU manuals in the first one, and we would try to be authoritative on that file and the htmlxref_Texinfo_other.conf would be more of a best effort with all the manuals that are reported to us. And we would accept other directories maintained by other communities if needed. -- Pat
