From f39910aff62d42dfdaa4dd897c4b76122fe1adad Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 12 Aug 2013 13:17:47 -0400 Subject: [PATCH] Fix doc identifier links --- pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl | 4 +++- pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl b/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl index 5e0ba89eb3..2ed4a30343 100644 --- a/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl +++ b/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl @@ -1,7 +1,9 @@ #lang scribble/doc @(require scribble/manual scribble/eval - (for-label lang/prim lang/imageeq lang/posn racket/gui/base)) + (for-label lang/prim lang/imageeq lang/posn racket/gui/base + (only-in racket/contract any/c) + (only-in racket/class is-a?/c))) @(define (htdp-ref s) @secref[#:doc '(lib "scribblings/htdp-langs/htdp-langs.scrbl") s]) @title{HtDP Languages as Libraries} diff --git a/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl b/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl index 945cd6f6c5..10bea7052b 100644 --- a/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl +++ b/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl @@ -1,7 +1,9 @@ #lang scribble/doc @(require scribble/manual - (for-label test-engine/racket-tests (only-in htdp/testing generate-report))) + (for-label test-engine/racket-tests + (only-in racket/base void?) + (only-in htdp/testing generate-report))) @title{Testing}