File tree Expand file tree Collapse file tree 1 file changed +0
-19
lines changed Expand file tree Collapse file tree 1 file changed +0
-19
lines changed Original file line number Diff line number Diff line change @@ -139,25 +139,6 @@ jobs:
139139 with :
140140 ref : ${{ github.event.inputs.version_number }}
141141 add_release : " true"
142- generate_command : |
143- git submodule update --init --depth 1
144- if python3 tools/doxygen/generate_docs.py --root . ; then
145- find * -type d -wholename '*/doxygen/output' -exec mkdir -p html/{} \; -exec mv {}/html html/{} \;
146- cat << END > html/index.html
147- <!DOCTYPE html>
148- <html>
149- <head>
150- <meta http-equiv="refresh" content="0; url='docs/doxygen/output/html'" />
151- </head>
152- <body>
153- <p><a href="docs/doxygen/output/html">Click here if page does not redirect.</a></p>
154- </body>
155- </html>
156- END
157- else
158- exit 1
159- fi
160- output_dir : html
161142 create-release :
162143 needs :
163144 - create-zip
You can’t perform that action at this time.
0 commit comments