JSON changes
All checks were successful
gl/check check status: success (39afa1066296730e4efd9ade26add68a18ae4a20)
gl/gate gate status: success (39afa1066296730e4efd9ade26add68a18ae4a20)

This commit is contained in:
2023-10-24 09:03:32 +00:00
parent daa55049c7
commit 39afa10662

View File

@ -84,16 +84,8 @@ commands =
# Drop data useless for the search - wrap it also with sh/xargs due to bugs
# in tox
sh -c "find doc/build/json -type d -and '(' -name '_images' -or -name '_static' -or -name '_sources' ')' -print0 | xargs -0 rm -rf"
{%- if doc.type == 'api-ref' %}
mkdir -p api-ref/build/json
cp -av doc/build/json/api-ref api-ref/build/json
{%- elif doc.type == 'umn' %}
mkdir -p umn/build/json
cp -av doc/build/json/umn umn/build/json
{%- elif doc.type == 'dev-guide' %}
mkdir -p dev_guide/build/json
cp -av doc/build/json/dev-guide dev_guide/build/json
{%- endif %}
mkdir -p {{ doc.type }}/build/json
cp -av doc/build/json/{{ doc.type }} {{ doc.type }}/build/json
{% if doc.pdf_name -%}
# PDF version