minor reformatting

svn: r8820

original commit: 469203f307c66be241e26e35710d73822e591bd3
This commit is contained in:
Eli Barzilay 2008-02-28 01:55:11 +00:00
parent eb388d5ef1
commit e03770064f

View File

@ -19,8 +19,8 @@ To document a collection or @|PLaneT| package:
@itemize{
@item{Create a file in your collection or planet package with the
file extension @filepath{.scrbl}. Beware that the file name you
choose will determine the output directory's name. The
file extension @filepath{.scrbl}. Beware that the file name
you choose will determine the output directory's name. The
remainder of these instructions assume that the file is called
@filepath{manual.scrbl}.}