htmlxrefversion=2025-06-26.15; # UTC
# htmlxref.cnf is no longer distributed as a single file.
# It has been replaced by two files which you can download from
# https://ftpmirror.gnu.org/gnu/texinfo/htmlxref.d/:
#
# https://ftpmirror.gnu.org/gnu/texinfo/htmlxref.d/Texinfo_GNU.cnf
# This gives the definitive locations for GNU manuals on the World Wide Web.
#
# https://ftpmirror.gnu.org/gnu/texinfo/htmlxref.d/Texinfo_nonGNU.cnf
# This gives web locations for other, non-GNU manuals that we know about.
#
# If you are using a version of Texinfo that does not support htmlxref.d
# directories, you can simply concatenate the two files to produce a
# usable htmlxref.cnf file.
#
# You can email any questions about the use of htmlxref files to bug-texinfo@gnu.org.