summaryrefslogtreecommitdiff
path: root/devdocs.el
diff options
context:
space:
mode:
authorAugusto Stoffel <arstoffel@gmail.com>2022-06-06 15:42:30 +0200
committerAugusto Stoffel <arstoffel@gmail.com>2022-06-06 15:42:30 +0200
commitd5d0cfbfbcd037ef8f84f41b2adc3f5a23baa11f (patch)
tree60c088ca1856250da90e6b8bd7fa91d48c91740a /devdocs.el
parent4257e59dafbffb2616d240f84c5c25770ee28cac (diff)
Use progress reporter while installing documents
As suggested in #19.
Diffstat (limited to 'devdocs.el')
-rw-r--r--devdocs.el6
1 files changed, 4 insertions, 2 deletions
diff --git a/devdocs.el b/devdocs.el
index d11492b..578e7a8 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)