[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: * util/htmlxref.cnf (source-highlight, src-highli
From: |
Patrice Dumas |
Subject: |
branch master updated: * util/htmlxref.cnf (source-highlight, src-highlite): use both src-highlite and source-highlight as source-highlight project name. |
Date: |
Sun, 27 Oct 2024 07:40:30 -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 40a015118c * util/htmlxref.cnf (source-highlight, src-highlite): use
both src-highlite and source-highlight as source-highlight project name.
40a015118c is described below
commit 40a015118c7613792502c7c91f19c06916c75035
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sun Oct 27 13:40:23 2024 +0100
* util/htmlxref.cnf (source-highlight, src-highlite): use both
src-highlite and source-highlight as source-highlight project name.
---
ChangeLog | 5 +++++
util/htmlxref.cnf | 4 +++-
2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 17c6209b44..3fa4286364 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-10-27 Patrice Dumas <pertusus@free.fr>
+
+ * util/htmlxref.cnf (source-highlight, src-highlite): use both
+ src-highlite and source-highlight as source-highlight project name.
+
2024-10-27 Patrice Dumas <pertusus@free.fr>
* util/htmlxref.cnf (source-highlite): rename src-highlite as
diff --git a/util/htmlxref.cnf b/util/htmlxref.cnf
index 5005d40fa9..da6d86314e 100644
--- a/util/htmlxref.cnf
+++ b/util/htmlxref.cnf
@@ -729,7 +729,9 @@ sourceinstall node
${GS}/sourceinstall/manual/html_node/
sqltutor mono ${GS}/sqltutor/manual/sqltutor.html
sqltutor node ${GS}/sqltutor/manual/html_node/
-source-highlite mono ${GS}/src-highlite/source-highlight.html
+# maybe an old name for the project
+src-highlite mono ${GS}/src-highlite/source-highlight.html
+source-highlight 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-highlight, src-highlite): use both src-highlite and source-highlight as source-highlight project name.,
Patrice Dumas <=