Fix for dev_guide
	
		
			
	
		
	
	
		
	
		
			All checks were successful
		
		
	
	
		
			
				
	
				gl/check check status: success (0c1c98a5a77ff05abb05b47c02d54ac0c36fdb52)
				
			
		
		
	
	
				
					
				
			
		
			All checks were successful
		
		
	
	gl/check check status: success (0c1c98a5a77ff05abb05b47c02d54ac0c36fdb52)
				
			This commit is contained in:
		@ -69,8 +69,13 @@ allowlist_externals =
 | 
			
		||||
commands =
 | 
			
		||||
  sphinx-build -W --keep-going -b html {{ loc }}/source doc/build/html_temp/{{ doc.type }}
 | 
			
		||||
  sphinx-minify --input-directory doc/build/html_temp/{{ doc.type }} --output-directory doc/build/html/{{ doc.type }}
 | 
			
		||||
{%- if doc.type == 'dev-guide' %}		
 | 
			
		||||
  mkdir -p dev_guide/build/html		
 | 
			
		||||
  cp -av doc/build/html/dev-guide dev_guide/build/html
 | 
			
		||||
{%- else %}	
 | 
			
		||||
  mkdir -p {{ doc.type }}/build/html
 | 
			
		||||
  cp -av doc/build/html/{{ doc.type }} {{ doc.type }}/build/html
 | 
			
		||||
{%- endif %}
 | 
			
		||||
 | 
			
		||||
# Json version (for search)
 | 
			
		||||
[testenv:json-{{ doc.type }}]
 | 
			
		||||
@ -84,8 +89,13 @@ 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 == 'dev-guide' %}		
 | 
			
		||||
  mkdir -p dev_guide/build/json		
 | 
			
		||||
  cp -av doc/build/json/dev-guide dev_guide/build/json
 | 
			
		||||
{%- else %}	
 | 
			
		||||
  mkdir -p {{ doc.type }}/build/json
 | 
			
		||||
  cp -av doc/build/json/{{ doc.type }} {{ doc.type }}/build/json
 | 
			
		||||
{%- endif %}
 | 
			
		||||
 | 
			
		||||
{% if doc.pdf_name -%}
 | 
			
		||||
# PDF version
 | 
			
		||||
 | 
			
		||||
		Reference in New Issue
	
	Block a user