Matthew Flatt b36443dc6a scribble: #:doc-id argument to load-xref and associated plumbing ... Keep track of the target document name (i.e., the name of the directory that will contain the target document) for a cross reference, when known. This identification enables a simpler dynamic resolution of a hyperlink in almost all cases, istead of requiring a search for an arbitrary corss-reference key. Indirect links still need a mapping of cross-reference keys to document locations, but the mapping can be pruned to just section and module-name keys. This change cuts a generated "local-redirect.js" for the main distribution to 1/8 of its size. original commit: a956918adb1ffe69b7cefea00f3c9d594f58734a		2014-03-16 12:40:52 -06:00
..
scribble	LGPL by reference	2014-02-27 15:56:11 -07:00
scribble-doc	scribble: #:doc-id argument to load-xref and associated plumbing	2014-03-16 12:40:52 -06:00
scribble-html-lib	LGPL by reference	2014-02-27 15:56:11 -07:00
scribble-lib	scribble: #:doc-id argument to load-xref and associated plumbing	2014-03-16 12:40:52 -06:00
scribble-test	add tests for scribble/eval	2014-03-05 16:41:56 -05:00
scribble-text-lib	LGPL by reference	2014-02-27 15:56:11 -07:00