[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: * util/htmlxref.cnf (source-highlite): rename src
From: |
Patrice Dumas |
Subject: |
branch master updated: * util/htmlxref.cnf (source-highlite): rename src-highlite as source-highlite. |
Date: |
Sun, 27 Oct 2024 07:36:11 -0400 |
This is an automated email from the git hooks/post-receive script.
pertusus pushed a commit to branch master
in repository texinfo.
The following commit(s) were added to refs/heads/master by this push:
new add9d92f40 * util/htmlxref.cnf (source-highlite): rename src-highlite
as source-highlite.
add9d92f40 is described below
commit add9d92f40a08eca6b6a0b353fa2628e437cc42a
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sun Oct 27 13:36:06 2024 +0100
* util/htmlxref.cnf (source-highlite): rename src-highlite as
source-highlite.
---
ChangeLog | 5 +++++
util/htmlxref.cnf | 2 +-
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 25f7266cfa..17c6209b44 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-10-27 Patrice Dumas <pertusus@free.fr>
+
+ * util/htmlxref.cnf (source-highlite): rename src-highlite as
+ source-highlite.
+
2024-10-25 Gavin Smith <gavinsmith0123@gmail.com>
pretest 7.1.90
diff --git a/util/htmlxref.cnf b/util/htmlxref.cnf
index e7c8928930..5005d40fa9 100644
--- a/util/htmlxref.cnf
+++ b/util/htmlxref.cnf
@@ -729,7 +729,7 @@ sourceinstall node
${GS}/sourceinstall/manual/html_node/
sqltutor mono ${GS}/sqltutor/manual/sqltutor.html
sqltutor node ${GS}/sqltutor/manual/html_node/
-src-highlite mono ${GS}/src-highlite/source-highlight.html
+source-highlite mono ${GS}/src-highlite/source-highlight.html
swbis mono ${GS}/swbis/manual.html
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: * util/htmlxref.cnf (source-highlite): rename src-highlite as source-highlite.,
Patrice Dumas <=