K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2000-07-14T18:03:32.000000Z
K 7
svn:log
V 144
- Add in some sanity checking.  If NOPORTS is set but NODOC is not set,
  print an error message and die immediately rather than an hour later.

END