docs: Remove unused githubpages extension
No need to require its availability. Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
This commit is contained in:
		
				
					committed by
					
						
						Daniel Wagner
					
				
			
			
				
	
			
			
			
						parent
						
							4f5cd3ca5b
						
					
				
				
					commit
					72d2eff6bc
				
			@@ -39,7 +39,6 @@ extensions = [
 | 
				
			|||||||
    'sphinx.ext.autodoc',
 | 
					    'sphinx.ext.autodoc',
 | 
				
			||||||
    'sphinx.ext.coverage',
 | 
					    'sphinx.ext.coverage',
 | 
				
			||||||
    'sphinx.ext.viewcode',
 | 
					    'sphinx.ext.viewcode',
 | 
				
			||||||
    'sphinx.ext.githubpages',
 | 
					 | 
				
			||||||
    'sphinxarg.ext',
 | 
					    'sphinxarg.ext',
 | 
				
			||||||
]
 | 
					]
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user