diff --git a/.travis.yml b/.travis.yml index 0fe3fd4..383a160 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,7 +32,7 @@ install: before_script: script: - - raco pkg install --deps search-auto --link aful + - raco pkg install -j 2 --deps search-auto --link aful - raco test -x -p aful after_script: diff --git a/aful/scribble-enhanced.rkt b/aful/scribble-enhanced.rkt new file mode 100644 index 0000000..77d8911 --- /dev/null +++ b/aful/scribble-enhanced.rkt @@ -0,0 +1,11 @@ +#lang racket +(require scribble-enhanced/with-manual) + +(provide aful-scribble-render) + +(define (aful-scribble-render self) + (syntax-case self () + [(_ _ _ body) + #`(elem (list (seclink "_lang_aful" #:doc '(lib "aful/docs/aful.scrbl") + (tt "#λ")) + (racket body)))])) \ No newline at end of file diff --git a/info.rkt b/info.rkt index 50bbad7..ed41046 100644 --- a/info.rkt +++ b/info.rkt @@ -8,6 +8,8 @@ "at-exp-lib" "rackjure" "rackunit-lib" + "phc-toolkit" + "scribble-enhanced" )) (define build-deps