ports/Tools/scripts/patchtool.py small patch

[Dmitry Morozovsky]

Dear colleagues,

nowadays, where pkg-plist is not strictly required for simple ports,
Maxim's script needs simple patch (below).

Sincerely,
D.Marck                                     [DM5020, MCK-RIPE, DM3-RIPN]
------------------------------------------------------------------------
*** Dmitry Morozovsky --- D.Marck --- Wild Woozle --- marck at rinet.ru ***
------------------------------------------------------------------------

Index: patchtool.py
===================================================================
RCS file: /home/ncvs/ports/Tools/scripts/patchtool.py,v
retrieving revision 1.11
diff -u -r1.11 patchtool.py
--- patchtool.py	21 Feb 2003 00:48:19 -0000	1.11
+++ patchtool.py	24 May 2004 08:09:42 -0000
@@ -60,8 +60,7 @@
  # Check if the supplied patch refers to a port's directory.
  #
  def isportdir(path, soft = False):
-	REQ_FILES = ('Makefile', 'pkg-descr', 'pkg-plist', \
-      'distinfo')
+	REQ_FILES = ('Makefile', 'pkg-descr', 'distinfo')
  	if not os.path.isdir(path) and soft != True:
  		raise IOError(errno.ENOENT, path)
  		# Not reached #