branch master updated: * js/info.js (maybe_pageref_url_p): Recognize "index.html#PAGE".

[Per Bothner]

This is an automated email from the git hooks/post-receive script.

bothner pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 590e9f4  * js/info.js (maybe_pageref_url_p): Recognize 
"index.html#PAGE".
590e9f4 is described below

commit 590e9f4356b76a1f546d93479586b934c1422b7f
Author: Per Bothner <per@bothner.com>
AuthorDate: Mon Mar 22 07:22:11 2021 -0700

    * js/info.js (maybe_pageref_url_p): Recognize "index.html#PAGE".
---
 ChangeLog  | 4 ++++
 js/info.js | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 79c03c2..96bb7bd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2021-03-22  Per Bothner  <per@bothner.com>
+
+       * js/info.js (maybe_pageref_url_p): Recognize "index.html#PAGE".
+
 2021-03-20  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * doc/texinfo.tex (\multitableparskip, \multitableparindent)
diff --git a/js/info.js b/js/info.js
index 53ccb0c..9326bef 100644
--- a/js/info.js
+++ b/js/info.js
@@ -1734,7 +1734,8 @@
   maybe_pageref_url_p (url)
   {
     return ! (url.includes (":") || url.includes ("/"))
-      && url.match(config.LOCAL_HTML_PAGE_PATTERN);
+          && (url.startsWith(config.INDEX_NAME)
+              || url.match(config.LOCAL_HTML_PAGE_PATTERN));
   }
 
   /** Check if 'URL' is a link to another manual.  For locally installed