Index raco pkg command

2012-11-26 14:33:15 -05:00 · 2012-11-26 14:33:15 -05:00 · 5e54ff90d4
commit 5e54ff90d4
parent 8c91decc8a
1 changed files with 1 additions and 1 deletions
--- 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[