diff --git a/collects/meta/planet2-index/planet-compat/main.rkt b/collects/meta/planet2-index/planet-compat/main.rkt index ff7471257e..21309b74f7 100644 --- a/collects/meta/planet2-index/planet-compat/main.rkt +++ b/collects/meta/planet2-index/planet-compat/main.rkt @@ -335,7 +335,7 @@ (printf "\tdeps ~a\n" deps) (call-with-output-file* - (build-path pkg-dir "info.rkt.rktd") + (build-path pkg-dir "info.rkt") (lambda (o) (fprintf o "#lang setup/infotab\n") (write `(define deps ',deps) o)))))