GMM cleanup recommended by Jamie (#153) #124

	# Build documentation and commit to gh-pages branch.

	name: Build and Push Documentation to gh-pages Branch

	on:
	push:
	branches: ['develop']
	workflow_dispatch:
	branches: ['develop']

	jobs:
	build_and_push_docs:
	runs-on: ubuntu-20.04

	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	path: repo/
	- name: Checkout gh-pages
	uses: actions/checkout@v3
	with:
	path: docs/
	ref: gh-pages
	- name: Install dependencies
	run: \|
	sudo apt-get install -y bison
	sudo apt-get install -y flex
	sudo apt-get install -y graphviz
	sudo apt-get install -y python-setuptools
	- name: Install doxygen
	run: \|
	wget 'https://sourceforge.net/projects/doxygen/files/rel-1.8.20/doxygen-1.8.20.src.tar.gz'
	tar -zxvf doxygen-1.8.20.src.tar.gz
	cd doxygen-1.8.20
	mkdir build
	cd build
	cmake -G "Unix Makefiles" ..
	make
	sudo make install
	- name: Build Documentation
	run: \|
	cd repo
	doxygen isaac.doxyfile
	- name: Replace old documentation with new
	run: \|
	rm -r docs/html
	cp -r repo/doc/html docs
	- name: Commit and Push
	run: \|
	cd docs
	git add --all html/
	EMAIL=`git show -s --format='%ae' HEAD`
	NAME=`git show -s --format='%an' HEAD`
	git config user.email "$EMAIL"
	git config user.name "$NAME"
	{ git commit -m "Automatic update for $GITHUB_SHA." \|\| true; }
	git push origin gh-pages

Provide feedback