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

Merge to v5.3.4
2013-04-11 08:37:42 -06:00 · 2013-04-11 08:37:42 -06:00 · ef6639f4c7
commit ef6639f4c7
parent f29a071774
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}: