remove debugging printf (merge to 4.2.2)
svn: r16058
This commit is contained in:
parent
f6cdeb3433
commit
ebcacaa06d
|
@ -129,7 +129,6 @@
|
||||||
;; If something goes wrong, of course, give up on .zo files.
|
;; If something goes wrong, of course, give up on .zo files.
|
||||||
(parameterize ([uncaught-exception-handler
|
(parameterize ([uncaught-exception-handler
|
||||||
(lambda (exn)
|
(lambda (exn)
|
||||||
(printf "~s\n" (exn-message exn))
|
|
||||||
(when (exn:break? exn) (exit 1))
|
(when (exn:break? exn) (exit 1))
|
||||||
(if skip-zo?
|
(if skip-zo?
|
||||||
(escape
|
(escape
|
||||||
|
|
|
@ -289,10 +289,13 @@
|
||||||
(std-path "scheme.css")
|
(std-path "scheme.css")
|
||||||
(std-path "scribble-common.js")))
|
(std-path "scribble-common.js")))
|
||||||
null)]
|
null)]
|
||||||
;; up-path is #t, which makes it go to the (user's) start page
|
;; For main-directory, non-start files, up-path is #t, which makes the
|
||||||
;; (using cookies) -- except when it is the start page itself
|
;; "up" link go to the (user's) start page using cookies. For other files,
|
||||||
;; (one of the two)
|
;;
|
||||||
[up-path (not root?)]
|
[up-path (and (not root?)
|
||||||
|
(if main?
|
||||||
|
#t
|
||||||
|
(build-path (find-user-doc-dir) "index.html")))]
|
||||||
[search-box? #t]))))
|
[search-box? #t]))))
|
||||||
|
|
||||||
(define (pick-dest latex-dest doc)
|
(define (pick-dest latex-dest doc)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user