minor reformatting

svn: r8820
This commit is contained in:
Eli Barzilay 2008-02-28 01:55:11 +00:00
parent b9d0295960
commit 469203f307

View File

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