songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

force html output (needed with lxml greater that 4.6.5)

This commit is contained in:
Sébastien Loriot 2023-01-11 16:54:02 +01:00
parent 1d6830501d
commit 56a852403c
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/build_doc.yml vendored
View File

@ -47,7 +47,7 @@ jobs:
//get pullrequest url //get pullrequest url
const pr_number = context.payload.issue.number const pr_number = context.payload.issue.number
return pr_number return pr_number
- name: Emoji-comment - name: Emoji-comment
uses: actions/github-script@v6 uses: actions/github-script@v6
if: steps.get_round.outputs.result != 'stop' if: steps.get_round.outputs.result != 'stop'
@ -59,7 +59,7 @@ jobs:
repo: context.repo.repo, repo: context.repo.repo,
content: 'rocket' content: 'rocket'
}) })
- uses: actions/checkout@v3 - uses: actions/checkout@v3
name: "checkout branch" name: "checkout branch"
if: steps.get_round.outputs.result != 'stop' if: steps.get_round.outputs.result != 'stop'
@ -74,7 +74,7 @@ jobs:
run: | run: |
set -x set -x
sudo apt-get update && sudo apt-get install -y graphviz ssh bibtex2html sudo apt-get update && sudo apt-get install -y graphviz ssh bibtex2html
sudo pip install lxml==4.6.3 sudo pip install lxml
sudo pip install pyquery sudo pip install pyquery
wget --no-verbose -O doxygen_exe https://cgal.geometryfactory.com/~cgaltest/doxygen_1_8_13_patched/doxygen wget --no-verbose -O doxygen_exe https://cgal.geometryfactory.com/~cgaltest/doxygen_1_8_13_patched/doxygen
sudo mv doxygen_exe /usr/bin/doxygen sudo mv doxygen_exe /usr/bin/doxygen

2
Documentation/doc/scripts/html_output_post_processing.py
View File

@ -57,7 +57,7 @@ def write_out_html(d, fn):
f.write('<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">\n') f.write('<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">\n')
f.write('<html xmlns=\"https://www.w3.org/1999/xhtml\">') f.write('<html xmlns=\"https://www.w3.org/1999/xhtml\">')
if d.html() is not None: if d.html() is not None:
f.write(d.html()) f.write(d.html(method='html'))
f.write('\n') f.write('\n')
f.write('</html>\n') f.write('</html>\n')
f.close() f.close()