weyne/MOOSE
1
0
Fork 0
mirror of https://github.com/FlightControl-Master/MOOSE.git synced 2025-08-15 10:47:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added replacement of head tag again

Browse Source
This commit is contained in:
kaltokri 2023-10-20 22:45:52 +02:00
parent df6d968ebe
commit 038b89776d
3 changed files with 43 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/build-docs.yml vendored
View File

@ -93,6 +93,18 @@ jobs:
lua luadocumentor.lua -d ${{ github.workspace }}/build/doc "${{ github.workspace }}/Moose Development/Moose"
working-directory: ${{ github.workspace }}/build/tools/luadocumentor
#########################################################################
# Replace <head> tag
#########################################################################
- name: Replace head tag
run: |
python3 "${{ github.workspace }}/Moose Development/docs-header.py"
working-directory: ${{ github.workspace }}/build/doc
- name: Check replacement of head tag
run: |
head -10 ${{ github.workspace }}/build/doc/AI.AI_A2A_Cap.html
#########################################################################
# Push to MOOSE_DOCS
#########################################################################

5
Moose Development/docs-header.html Normal file
View File

@ -0,0 +1,5 @@
<head>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-97385487-1"></script>
<script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'UA-97385487-1');</script>
<meta name="viewport" content="width=device-width, initial-scale=1">

26
Moose Development/docs-header.py Normal file
View File

@ -0,0 +1,26 @@
# import required module
from pathlib import Path
import os
# assign directory
directory = '.'
print( "Replacing head tag in all html files" )
# Read template file
with open( os.path.dirname(__file__) + '/docs-header.html', 'r') as file:
newhead = file.read()
# iterate over files in
# that directory
files = Path(directory).glob('*.html')
for file in files:
# print(file)
with open(file, 'r') as fileread:
filedata = fileread.read()
# Replace the target string
filedata = filedata.replace( '<head>', newhead )
# Write the file out again
with open(file, 'w') as filewrite:
filewrite.write(filedata)