diff options
author | Norbert Preining <norbert@preining.info> | 2023-04-03 03:04:19 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-04-03 03:04:19 +0000 |
commit | 3b4a242af88203c2f3f551d46161bdd037c0d127 (patch) | |
tree | d0f11425ac288e446783f8da0c4808d9f6b58df0 /macros/texinfo | |
parent | a9dc5b575ce3fc6956336d6fc6ab7247995defc1 (diff) |
CTAN sync 202304030304
Diffstat (limited to 'macros/texinfo')
-rw-r--r-- | macros/texinfo/latest/htmlxref.cnf | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/macros/texinfo/latest/htmlxref.cnf b/macros/texinfo/latest/htmlxref.cnf index 0b2fc58efd..1af587bb3d 100644 --- a/macros/texinfo/latest/htmlxref.cnf +++ b/macros/texinfo/latest/htmlxref.cnf @@ -1,8 +1,8 @@ # htmlxref.cnf - reference file for free Texinfo manuals on the web. -htmlxrefversion=2022-11-12.21; # UTC +htmlxrefversion=2023-04-02.12; # UTC -# Copyright 2010-2022 Free Software Foundation, Inc. +# Copyright 2010-2023 Free Software Foundation, Inc. # # Copying and distribution of this file, with or without modification, # are permitted in any medium without royalty provided the copyright @@ -364,10 +364,8 @@ gcc node ${GCC}/gcc/ libiberty node ${GCC}/libiberty/ GDB = https://sourceware.org/gdb/current/onlinedocs -gdb mono ${GDB}/gdb.html -gdb node ${GDB}/gdb/ - stabs mono ${GDB}/stabs.html - stabs node ${GDB}/stabs/ +gdb node ${GDB}/gdb.html/ + stabs node ${GDB}/stabs.html/ GDBM = http://www.gnu.org.ua/software/gdbm/manual gdbm node ${GDBM}/ @@ -543,6 +541,8 @@ libmatheval mono ${GS}/libmatheval/manual/libmatheval.html LIBMICROHTTPD = ${GS}/libmicrohttpd libmicrohttpd mono ${LIBMICROHTTPD}/manual/libmicrohttpd.html libmicrohttpd node ${LIBMICROHTTPD}/manual/html_node/ + # The manual name is based on the Texinfo file name in the code, + # not on the file name for the tutorial which is too generic. microhttpd-tutorial mono ${LIBMICROHTTPD}/tutorial.html libtasn1 mono ${GS}/libtasn1/manual/libtasn1.html |