pkg docs: add a tag for the "how to develop" section

Merge to v5.3.4 (cherry picked from commit ef6639f4c7)
2013-04-11 08:37:42 -06:00 · 2013-04-11 08:37:42 -06:00 · 97df4ff673
commit 97df4ff673
parent 59b18eec39
1 changed files with 1 additions and 1 deletions
--- a/collects/pkg/scribblings/pkg.scrbl
+++ b/collects/pkg/scribblings/pkg.scrbl
@ -423,7 +423,7 @@ to the command sub-sub-commands.

@; ----------------------------------------

-@section{Developing Packages}
+@section[#:tag "how-to-create"]{Developing Packages}

 To create a package, first make a directory for your package and
 select its name, @nonterm{package}: