File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -39,24 +39,21 @@ jobs:
3939 - name : Set up query help docs folder
4040 run : |
4141 mkdir query-help ; cp -r codeql/docs/language/query-help/ .
42- - name : Check docs folder prescript
43- working-directory : ' ${{ github.workspace }}/query-help'
44- run : ls -la
4542 - name : Query help to markdown
4643 run : |
4744 PATH="$PATH:codeql-cli/codeql" python codeql/docs/language/query-help-markdown.py
45+ - name : Run Sphinx for query help
46+ uses : ammaraskar/sphinx-action@master
47+ with :
48+ docs-folder : " query-help/"
49+ pre-build-command : " python -m pip install --upgrade recommonmark"
50+ build-command : " sphinx-build -b html . _build"
4851 - name : Check docs folder postscript
49- working-directory : ' ${{ github.workspace }}/query-help'
50- run : ls -la
51- # - name: Run Sphinx for query help
52- # uses: ammaraskar/sphinx-action@master
53- # with:
54- # docs-folder: "codeql/docs/language/query-help/"
55- # pre-build-command: "python -m pip install --upgrade recommonmark"
56- # build-command: "sphinx-build -b html . query-help-build"
52+ working-directory : ' ${{ github.workspace }}/query-help/_build'
53+ run : ls -la
5754 # - name: Upload HTML artifacts
5855 # uses: actions/upload-artifact@v2
5956 # with:
6057 # name: query-help-html
61- # path: query-help
58+ # path: query-help/_build
6259
You can’t perform that action at this time.
0 commit comments