Update docs-header.py

This commit is contained in:
Thomas 2025-04-06 16:04:07 +02:00 committed by GitHub
parent e50e572c78
commit 0405af2bde
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -15,7 +15,7 @@ with open( os.path.dirname(__file__) + '/docs-header.html', 'r') as file:
# that directory
files = Path(directory).glob('*.html')
for file in files:
# print(file)
print(file)
with open(file, 'r') as fileread:
filedata = fileread.read()
# Replace the target string