8.2 "info.rkt" File Format
In each collection, a special module file "info.rkt" provides
general information about a collection for use by various tools. For
example, an "info.rkt" file specifies how to build the
documentation for a collection, and it lists plug-in tools for
DrRacket or commands for raco that the collection provides.
Although an "info.rkt" file contains a module declaration, the
declaration has a highly constrained form. It must match the following
grammar of info-module:
For example, the following declaration could be the "info.rkt"
library of the "games" collection. It contains definitions for
three info tags, name, racket-launcher-libraries, and
As illustrated in this example, an "info.rkt" file can use
#lang notation, but only with the setup/infotab
See also get-info from setup/getinfo.
, but constrained to allowed-path
shown in the grammar above.