fix scribble --redirect-main with indirect links

This commit is contained in:
Matthew Flatt 2016-02-25 08:53:42 -07:00
parent 17acde5a1f
commit 4d62fba7f2

View File

@ -1346,7 +1346,7 @@
(if (or indirect-link? dest) (if (or indirect-link? dest)
`((a ([href `((a ([href
,(cond ,(cond
[(and ext-id external-root-url [(and ext-id external-root-url dest
(let* ([ref-path (relative->path (dest-path dest))] (let* ([ref-path (relative->path (dest-path dest))]
[rel (if (relative-path? ref-path) [rel (if (relative-path? ref-path)
#f #f