[plt-scheme] @tech in other manuals

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Mar 6 09:55:30 EST 2009

At Fri, 06 Mar 2009 09:51:32 -0500, Dave Herman wrote:
> How can I create a @tech reference to a term that was @deftech'ed in 
> another manual? I can't figure out how to create a reference to 
> @tech{prefab} from (lib "scribblings/guide/guide.scrbl").

 @tech[#:doc '(lib "scribblings/guide/guide.scrbl")]{prefab}

Posted on the users mailing list.