chore: updated `.gitignore` #5

	name: Docs

	on:
	push:
	branches:
	- master

	jobs:
	generate_docs:
	name: Generate docs
	runs-on: ubuntu-latest
	steps:
	- name: Checkout master branch
	uses: actions/checkout@v2
	- name: Install stable toolchain
	uses: actions-rs/toolchain@v1
	with:
	profile: default
	toolchain: stable
	- name: Generate docs
	uses: actions-rs/cargo@v1
	with:
	command: doc
	args: --no-deps
	- name: Deploy to GitHub Pages
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	export COMMIT_HASH="$(echo "${GITHUB_SHA}" \| cut -c1-7)"
	cd target/doc
	git config --global user.email ''
	git config --global user.name 'GitHub Actions'
	git init
	git remote add origin "https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}"
	git add --all
	git commit -m "Generated docs for ${COMMIT_HASH}"
	git push -uf origin master:gh-pages

Provide feedback