scribble: prefer dest-relative paths to collection-relative paths

Documentation for a user-scoped package is rendered inside a
collection path but moved outside of the collection path when
later installed in installation-wide, so it's important to
try a destination-relative path first.
This commit is contained in:
Matthew Flatt 2013-07-08 16:56:47 -06:00
parent 1275ed70de
commit 301bdf9764

View File

@ -259,9 +259,12 @@
(define (path->relative p)
(let ([p (path->main-doc-relative p)])
(if (path? p)
(let ([p (path->collects-relative p)])
(let ([p (path->root-relative p)])
(if (path? p)
(path->root-relative p)
(let ([p (path->collects-relative p)])
(if (path? p)
p
(intern-taglet p)))
(intern-taglet p)))
(intern-taglet p))))