[elpa] externals/devdocs d5d0cfbfbc: Use progress reporter while installing documents

[ELPA Syncer]

branch: externals/devdocs
commit d5d0cfbfbcd037ef8f84f41b2adc3f5a23baa11f
Author: Augusto Stoffel <arstoffel@gmail.com>
Commit: Augusto Stoffel <arstoffel@gmail.com>

    Use progress reporter while installing documents
    
    As suggested in #19.
---
 devdocs.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/devdocs.el b/devdocs.el
index d11492bf3e..578e7a8cfe 100644
--- a/devdocs.el
+++ b/devdocs.el
@@ -204,8 +204,10 @@ DOC is a document metadata alist."
          pages)
     (with-temp-buffer
       (url-insert-file-contents (format "%s/%s/db.json?%s" devdocs-cdn-url 
slug mtime))
-      (dolist (entry (let ((json-key-type 'string))
-                       (json-read)))
+      (dolist-with-progress-reporter
+          (entry (let ((json-key-type 'string))
+                   (json-read)))
+          "Installing documentation..."
         (with-temp-file (expand-file-name
                          (url-hexify-string (format "%s.html" (car entry))) 
temp)
           (push (car entry) pages)