import glob
import re
newDate = input('New date: ')
extensionsToAnalyze = ('*.dtx', '*.bbx', '*.tex')
filesToReplace = []
for selectedExtension in extensionsToAnalyze:
filesToReplace.extend(glob.glob(selectedExtension))
for currentFile in filesToReplace:
print('Processing file ' + currentFile + '...')
inputHandler = open(currentFile, 'r')
newOutput = []
for line in inputHandler:
pattern = re.search('\\\\ProvidesFile{(.*)}\\[(.*)\\]', line)
if pattern:
print(' - from ' + pattern.group(2) + ' to ' + newDate)