Fix package name.
This commit is contained in:
parent
7259a2c76c
commit
cdea0da566
|
@ -205,7 +205,7 @@ provided by the @filepath{gui} package, while
|
||||||
@filepath{parser-tools} library.@margin-note{More precisely,
|
@filepath{parser-tools} library.@margin-note{More precisely,
|
||||||
@racketmodname[racket/gui] is provided by @filepath{gui-lib},
|
@racketmodname[racket/gui] is provided by @filepath{gui-lib},
|
||||||
@racketmodname[parser-tools/lex] is provided by
|
@racketmodname[parser-tools/lex] is provided by
|
||||||
@filepath{parser-tools}, and the @filepath{gui} and
|
@filepath{parser-tools-lib}, and the @filepath{gui} and
|
||||||
@filepath{parser-tools} packages extend @filepath{gui-lib} and
|
@filepath{parser-tools} packages extend @filepath{gui-lib} and
|
||||||
@filepath{parser-tools-lib} with documentation.}
|
@filepath{parser-tools-lib} with documentation.}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user