Never mind. The first patch was incorrect. I have attached a new patch.
>From 7c5ee47741f1a9cbdb6b2df8ddad99aa95cb01e5 Mon Sep 17 00:00:00 2001
From: Chunyang Xu <m...@xuchunyang.me>
Date: Thu, 15 Dec 2016 03:19:08 +0800
Subject: [PATCH] org-info: Fix docstring
* lisp/org-info.el (org-info-map-html-url): Fix docstring, there is no
`org-info-official-gnu-document' anymore.
---
lisp/org-info.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lisp/org-info.el b/lisp/org-info.el
index d82168e..3b363f0 100644
--- a/lisp/org-info.el
+++ b/lisp/org-info.el
@@ -105,7 +105,7 @@ converted to use these URL's.")
(defun org-info-map-html-url (filename)
"Given info FILENAME, either return it (plus '.html' suffix added) or convert
it to URL pointing to the official page on internet, e.g., use gnu.org for all
-emacs related documents. See `org-info-official-gnu-document' and
+emacs related documents. See `org-info-emacs-documents' and
`org-info-other-documents' for details."
(if (member filename org-info-emacs-documents)
(format "http://www.gnu.org/software/emacs/manual/html_mono/%s.html";
--
2.10.2
Chunyang Xu writes:
> User-agent: mu4e 0.9.18; emacs 25.1.1
> * lisp/org-info.el (org-info-map-html-url): Fix docstring, there is no
> `org-info-official-gnu-document' anymore.
> ---
> lisp/org-info.el | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/lisp/org-info.el b/lisp/org-info.el
> index d82168e..a0d9e8a 100644
> --- a/lisp/org-info.el
> +++ b/lisp/org-info.el
> @@ -105,7 +105,7 @@ converted to use these URL's.")
> (defun org-info-map-html-url (filename)
> "Given info FILENAME, either return it (plus '.html' suffix added) or
> convert
> it to URL pointing to the official page on internet, e.g., use gnu.org for
> all
> -emacs related documents. See `org-info-official-gnu-document' and
> +emacs related documents. See `org-info-other-documents' and
> `org-info-other-documents' for details."
> (if (member filename org-info-emacs-documents)
> (format "http://www.gnu.org/software/emacs/manual/html_mono/%s.html";
