← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to emacs/acl2-doc.el

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
emacs/acl2-doc.el
1
 
; ACL2 Version 6.5 -- A Computational Logic for Applicative Common Lisp
2
 
; Copyright (C) 2014, Regents of the University of Texas
 
1
; ACL2 Version 7.0 -- A Computational Logic for Applicative Common Lisp
 
2
; Copyright (C) 2015, Regents of the University of Texas
3
3
 
4
4
; This version of ACL2 is a descendent of ACL2 Version 1.9, Copyright
5
5
; (C) 1997 Computational Logic, Inc.  See the documentation topic NOTES-2-0.
169
169
   *acl2-doc-rendered-combined-url*
170
170
   *acl2-doc-rendered-combined-pathname-gzipped*)
171
171
  (cond ((file-exists-p *acl2-doc-rendered-combined-pathname-gzipped*)
172
 
         (shell-command-to-string
173
 
          (format "gunzip %s"
174
 
                  *acl2-doc-rendered-combined-pathname-gzipped*))
175
 
         (or (file-exists-p *acl2-doc-rendered-combined-pathname*)
176
 
             (error "Gunzip failed."))
 
172
         (cond
 
173
          ((eql 0 (nth 7
 
174
                       (file-attributes ; size
 
175
                        *acl2-doc-rendered-combined-pathname-gzipped*)))
 
176
           (error
 
177
            "Download/install failed (zero-length file, %s, will be deleted)."
 
178
            *acl2-doc-rendered-combined-pathname-gzipped*)
 
179
           (delete-file *acl2-doc-rendered-combined-pathname-gzipped*))
 
180
          (t
 
181
           (shell-command-to-string
 
182
            (format "gunzip %s"
 
183
                    *acl2-doc-rendered-combined-pathname-gzipped*))
 
184
           (or (file-exists-p *acl2-doc-rendered-combined-pathname*)
 
185
               (error "Gunzip failed."))
177
186
 
178
187
;;; The following call of acl2-doc-reset may appear to have the
179
188
;;; potential to cause a loop: acl2-doc-reset calls
183
192
;;; essentially a no-op in this case because of the file-exists-p
184
193
;;; check just above.
185
194
 
186
 
         (acl2-doc-reset 'TOP)
187
 
         (acl2-doc-top))
188
 
        (t (message "Download/install failed.")
 
195
           (acl2-doc-reset 'TOP)
 
196
           (acl2-doc-top))))
 
197
        (t (error "Download/install failed.")
189
198
           nil)))
190
199
 
191
200
(defun acl2-doc-rendered-combined-fetch ()