add file download functinality to ERDDAP #140


	name: Documentation

	on:
	pull_request:
	push:
	branches:
	- main
	release:
	types:
	- published

	jobs:
	build-docs:
	runs-on: ubuntu-latest

	steps:
	- name: checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0

	- name: Setup Micromamba
	uses: mamba-org/setup-micromamba@v1
	with:
	environment-name: TEST
	init-shell: bash
	create-args: >-
	python=3 --file requirements.txt --file requirements-dev.txt --channel conda-forge

	- name: Install erddapy
	shell: bash -l {0}
	run: \|
	python -m pip install -e . --no-deps --force-reinstall

	- name: Build documentation
	shell: bash -l {0}
	run: >
	set -e
	&& jupyter nbconvert --to notebook --execute notebooks/00-quick_intro.ipynb --output=00-quick_intro-output.ipynb
	&& jupyter nbconvert --to notebook --execute notebooks/01a-griddap.ipynb --output=01a-griddap-output.ipynb
	&& jupyter nbconvert --to notebook --execute notebooks/01b-tabledap.ipynb --output=01b-tabledap-output.ipynb
	&& jupyter nbconvert --to notebook --execute notebooks/02-extras.ipynb --output=02-extras-output.ipynb
	&& jupyter nbconvert --to notebook --execute notebooks/03-advanced_search.ipynb --output=03-advanced_search-output.ipynb
	&& mv notebooks/*output.ipynb docs/source/
	&& pushd docs
	&& make clean html linkcheck
	&& popd

	- name: Deploy
	if: success() && github.event_name == 'release'
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: docs/build/html

Provide feedback