diff --git a/racket/syndicate-gui-toolbox/info.rkt b/racket/syndicate-gui-toolbox/info.rkt index c14a2ca..6ce60ad 100644 --- a/racket/syndicate-gui-toolbox/info.rkt +++ b/racket/syndicate-gui-toolbox/info.rkt @@ -1 +1,4 @@ #lang setup/infotab + +(define compile-omit-paths + '("examples")) diff --git a/racket/typed/info.rkt b/racket/typed/info.rkt new file mode 100644 index 0000000..33cf103 --- /dev/null +++ b/racket/typed/info.rkt @@ -0,0 +1,8 @@ +#lang info + +(define compile-omit-paths + '("examples" + "tests")) + +(define test-omit-paths + '("examples/roles/chat-tcp2.rkt"))