diff --git a/brag/info.rkt b/brag/info.rkt index c27572d..d3d90b5 100755 --- a/brag/info.rkt +++ b/brag/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define name "brag") (define scribblings '(("brag.scrbl"))) diff --git a/info.rkt b/info.rkt index e2872a2..000d84a 100755 --- a/info.rkt +++ b/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define version "1.0") (define deps '("base" "br-parser-tools-lib" "rackunit-lib"))