adjust webpack config to keep js/proxy_js folder #414

	name: Docs check
	on:
	pull_request:

	permissions:
	contents: read

	jobs:
	build_docs:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'

	- name: Install Docs dependencies
	run: python3 -m pip install -r docs/requirements.txt

	- name: Build and push Docs
	run: \|
	make html SPHINXOPTS="-W"

Provide feedback