From e8dd8c9c60969ce83deff3d4ff5d77c91679d847 Mon Sep 17 00:00:00 2001
From: Spencer Florence <florence@ccs.neu.edu>
Date: Thu, 2 Apr 2015 17:11:20 -0400
Subject: [PATCH] fixing crosslink

---
 scribblings/basics.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scribblings/basics.scrbl b/scribblings/basics.scrbl
index 49998ea..b18003d 100644
--- a/scribblings/basics.scrbl
+++ b/scribblings/basics.scrbl
@@ -69,4 +69,4 @@ exclude them from the output with the @Flag{e} flag. The other is to add the fil
 cyclic dependencies to @racket[_test-omit-paths] or @racket[_cover-omit-paths] in that collections
 @filepath{info.rkt}.
 
-Cover will automatically skip any module declared @tech{cross-phase persistent}.
+Cover will automatically skip any module declared @(tech #:doc '(lib "scribblings/reference/reference.scrbl") "cross-phase persistent").