Deleted. This is obsoleted by Tools/scripts/fixnotice.py.

diff --git a/Misc/Fixcprt.py b/Misc/Fixcprt.py
deleted file mode 100755 (executable)
index f533775..0000000
--- a/Misc/Fixcprt.py
+++ /dev/null
@@ -1,75 +0,0 @@
-#! /usr/bin/env python
-
-import regex
-import regsub
-import glob
-import sys
-import os
-import stat
-import getopt
-
-oldcprt = """\
-Copyright 1991, 1992, 1993, 1994 by Stichting Mathematisch Centrum,
-Amsterdam, The Netherlands."""
-newcprt = """\
-Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam,
-The Netherlands."""
-
-oldprog = regex.compile(oldcprt)
-newprog = regex.compile(newcprt)
-
-HEADSIZE = 1024
-
-def main():
-       opts, args = getopt.getopt(sys.argv[1:], 'y:')
-       agelimit = 0L
-       for opt, arg in opts:
-               if opt == '-y':
-                       agelimit = os.stat(arg)[stat.ST_MTIME]
-       if not args:
-               args = glob.glob('*.[ch]')
-       for file in args:
-               try:
-                       age = os.stat(file)[stat.ST_MTIME]
-               except os.error, msg:
-                       print file, ': stat failed :', msg
-                       continue
-               if age <= agelimit:
-                       print file, ': too old, skipped'
-                       continue
-               try:
-                       f = open(file, 'r')
-               except IOError, msg:
-                       print file, ': open failed :', msg
-                       continue
-               head = f.read(HEADSIZE)
-               if oldprog.search(head) < 0:
-                       if newprog.search(head) < 0:
-                               print file, ': NO COPYRIGHT FOUND'
-                       else:
-                               print file, ': (new copyright already there)'
-                       f.close()
-                       continue
-               newhead = regsub.sub(oldcprt, newcprt, head)
-               data = newhead + f.read()
-               f.close()
-               try:
-                       f = open(file + '.new', 'w')
-               except IOError, msg:
-                       print file, ': creat failed :', msg
-                       continue
-               f.write(data)
-               f.close()
-               try:
-                       os.rename(file, file + '~')
-               except IOError, msg:
-                       print file, ': rename to backup failed :', msg
-                       continue
-               try:
-                       os.rename(file + '.new', file)
-               except IOError, msg:
-                       print file, ': rename from .new failed :', msg
-                       continue
-               print file, ': copyright changed.'
-
-main()