copy more sphinx files

This commit is contained in:
james
2020-10-28 13:41:13 +00:00
parent 27f52851ca
commit 0fe0d067e9

View File

@@ -38,7 +38,7 @@ jobs:
run: unzip -d codeql-cli codeql-linux64.zip
- name: Set up query help docs folder
run: |
mkdir query-help ; cp -r codeql/docs/language/query-help/ .
cp -r codeql/docs/language/query-help/ . ; cp -r codeql/docs/language/global-sphinx-files/ .
- name: Query help to markdown
run: |
PATH="$PATH:codeql-cli/codeql" python codeql/docs/language/query-help-markdown.py