disabled name tests for htdp languages during documentation reorg

This commit is contained in:
Matthias Felleisen 2012-06-24 17:38:13 -04:00
parent 2981cbfd68
commit 92c62d7417
3 changed files with 6 additions and 0 deletions

View File

@ -8,7 +8,9 @@
(define no-extra-if-tests? #t)
;; Check export names:
#;
(require syntax/docprovide)
#;
(let ([docs (lookup-documentation '(lib "htdp-advanced.rkt" "lang") 'procedures)])
(for-each
(lambda (row)

View File

@ -8,7 +8,9 @@
(define no-extra-if-tests? #t)
;; Check export names:
#;
(require syntax/docprovide)
#;
(let ([docs (lookup-documentation '(lib "htdp-intermediate-lambda.rkt" "lang") 'procedures)])
(for-each
(lambda (row)

View File

@ -8,7 +8,9 @@
(define no-extra-if-tests? #t)
;; Check export names:
#;
(require syntax/docprovide)
#;
(let ([docs (lookup-documentation '(lib "htdp-intermediate.rkt" "lang") 'procedures)])
(for-each
(lambda (row)