diff --git a/collects/planet2/scribblings/planet2.scrbl b/collects/planet2/scribblings/planet2.scrbl index 7714d94efd..762539c747 100644 --- a/collects/planet2/scribblings/planet2.scrbl +++ b/collects/planet2/scribblings/planet2.scrbl @@ -124,7 +124,7 @@ reprovides all their options. @subsection{Command Line} -The @exec{raco pkg} sub-command provides the following +The @as-index{@exec{raco pkg}} sub-command provides the following sub-sub-commands: @itemlist[