File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3838 run : unzip -d codeql-cli codeql-linux64.zip
3939 - name : Query help to markdown
4040 run : |
41- PATH="$PATH:codeql-cli/codeql" python codeql/docs/language/ query-help-markdown.py
41+ PATH="$PATH:codeql-cli/codeql" python query-help-markdown.py
4242 working-directory : ' codeql/docs/language/'
4343 - name : Build site assets
4444 working-directory : ' ${{ github.workspace }}/codeql/docs/language'
Original file line number Diff line number Diff line change @@ -186,7 +186,7 @@ def subprocess_run(cmd):
186186 index_file_dictionary [query_name_meta ] = lang + "/" + query_name
187187
188188 # Make paths for output of the form: query-help-markdown/<lang>/<queryfile>.md
189- docs_dir = 'codeql/docs/language/ query-help'
189+ docs_dir = 'query-help'
190190 md_dir_path = os .path .join (docs_dir , lang )
191191 md_file_path = os .path .join (md_dir_path , query_name + ".md" )
192192
You can’t perform that action at this time.
0 commit comments