Work around touch up events delivered too late with certain Weston ve… #208

	name: Deploy Docs to GitHub Pages

	on:
	push:
	branches:
	- master

	jobs:
	doc:
	name: Documentation on Github Pages
	runs-on: ubuntu-latest

	steps:
	- name: Checkout sources
	uses: actions/checkout@v2

	- name: Cargo cache
	uses: actions/cache@v1
	with:
	path: ~/.cargo
	key: cargo-stable

	- name: Rust toolchain
	uses: actions-rs/toolchain@v1
	with:
	toolchain: stable
	override: true

	- name: Install system dependencies
	run: sudo apt-get install libxkbcommon-dev libwayland-dev

	- name: Build Documentation
	uses: actions-rs/cargo@v1
	with:
	command: doc
	args: --no-deps

	- name: Setup index
	run: cp ./doc_index.html ./target/doc/index.html

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./target/doc

Provide feedback