texinfo-commits
[Top][All Lists]
Advanced

[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
 



reply via email to

[Prev in Thread] Current Thread [Next in Thread]