chore: gitignore. #50

	name: Build & Deploy Documentation

	on:
	push:
	pull_request:
	branches: [main]

	jobs:
	build:
	runs-on: ubuntu-20.04

	steps:
	- name: Checkout repository and submodules
	uses: actions/checkout@v3
	with:
	path: "src/lasr-base"

	- name: Install ROS Noetic
	run: \|
	sudo add-apt-repository universe
	sudo add-apt-repository restricted
	sudo add-apt-repository multiverse

	sudo apt update

	sudo sh -c 'echo "deb http://packages.ros.org/ros/ubuntu $(lsb_release -sc) main" > /etc/apt/sources.list.d/ros-latest.list'

	sudo apt install curl # if you haven't already installed curl
	curl -s https://raw.githubusercontent.com/ros/rosdistro/master/ros.asc \| sudo apt-key add -

	sudo apt update
	sudo apt install ros-noetic-ros-base python3-catkin-tools

	- name: Build documentation package
	run: \|
	source /opt/ros/noetic/setup.bash
	catkin build documentation

	- name: Use Node.js
	uses: actions/setup-node@v3
	with:
	node-version: 20

	- name: Build documentation
	run: \|
	source /opt/ros/noetic/setup.bash
	source devel/setup.bash
	rosrun documentation build.py

	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@v3
	if: github.event_name != 'pull_request' && github.ref_name == 'main'
	with:
	deploy_key: ${{ secrets.DOCS_DEPLOY_KEY }}
	publish_dir: ./src/lasr-base/documentation/web/build
	external_repository: lasr-at-home/docs

Provide feedback