The persistent ToC is augmented with rel-path values. If there's a single file, those values may be just ids (#id) where the current JavaScript looks for file#id. This patch isn't terribly clever, it just looks for path#id, #id, and path, taking the first it finds.
The persistent ToC is augmented with
rel-pathvalues. If there's a single file, those values may be just ids (#id) where the current JavaScript looks forfile#id. This patch isn't terribly clever, it just looks forpath#id,#id, andpath, taking the first it finds.Fix #451