started doc.txt => scrbl conversion

svn: r10985

collects/redex/info.ss

@@ -1,11 +1,3 @@
-#lang setup/infotab
-
-(define name "PLT Redex")
-(define doc.txt "doc.txt")
-(define homepage
-  "http://people.cs.uchicago.edu/~robby/plt-redex/")
-(define blurb
-  (list '(div "A domain-specific language for context-sensitive reduction semantics. Put in a specification and get out a stepper.")))
-(define required-core-version "371.4")
-(define primary-file "reduction-semantics.ss")
-(define categories '(metaprogramming))
+(module info (lib "infotab.ss" "setup")
+  (define name "PLT Redex")
+  (define scribblings (list (list "redex.scrbl" (list) (list 'language)))))