branch master updated: ada-mode manual is not distributed with emacs anymore. From Alexandru-Sergiu Marton.

[Patrice Dumas]

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 9994e3f  ada-mode manual is not distributed with emacs anymore. From 
Alexandru-Sergiu Marton.
9994e3f is described below

commit 9994e3f3499875b99f31a6ef057fe1b19c9b6006
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Wed Sep 15 10:07:26 2021 +0200

    ada-mode manual is not distributed with emacs anymore. From
    Alexandru-Sergiu Marton.
---
 util/htmlxref.cnf | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/util/htmlxref.cnf b/util/htmlxref.cnf
index b02c5fd..97512a5 100644
--- a/util/htmlxref.cnf
+++ b/util/htmlxref.cnf
@@ -137,9 +137,6 @@ EMACS = ${GS}/emacs/manual
 emacs          mono    ${EMACS}/html_mono/emacs.html
 emacs          node    ${EMACS}/html_node/emacs/
  #
- ada-mode      mono    ${EMACS}/html_mono/ada-mode.html
- ada-mode      node    ${EMACS}/html_node/ada-mode/
- #
  autotype      mono    ${EMACS}/html_mono/autotype.html
  autotype      node    ${EMACS}/html_node/autotype/
  #
@@ -226,7 +223,7 @@ emacs               node    ${EMACS}/html_node/emacs/
  #
  woman         mono    ${EMACS}/html_mono/woman.html
  woman         node    ${EMACS}/html_node/woman/
- # (end emacs manuals)
+ # (end emacs manuals in EMACS)
 
 easejs         mono    ${GS}/easejs/manual/easejs.html
 easejs         node    ${GS}/easejs/manual/
@@ -236,6 +233,8 @@ emacs-muse  node    ${GS}/emacs-muse/manual/html_node/
 
 emms           node    ${GS}/emms/manual/
 
+ada-mode       mono    https://www.nongnu.org/ada-mode/ada-mode.html
+
 findutils      mono    ${GS}/findutils/manual/html_mono/find.html
 findutils      node    ${GS}/findutils/manual/html_node/find_html