What ports.html calls "distfile" in this place
should probably be "distinfo", right?
Jan
--- ports.html.orig Wed Jun 25 12:03:03 2014
+++ ports.html Wed Jun 25 12:03:14 2014
@@ -83,7 +83,7 @@ following:
<li>a <tt>PLIST</tt> or packing list, which contains instructions for package
creation once the application has been built,
<li>a <tt>DESCR</tt> or description of the application,
-<li>a <tt>distfile</tt>, containing distribution file checksums and size.
+<li>a <tt>distinfo</tt>, containing distribution file checksums and size.
</ul>
<p>
