Avoiding rsync #473

	# This is a basic workflow to help you get started with Actions

	name: Doxygen docs

	# Controls when the action will run.
	on: [push, pull_request]

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	deploy:
	# The type of runner that the job will run on
	runs-on: ubuntu-20.04

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v2

	- name: Build Doxygen
	uses: mattnotmitt/[email protected]
	with:
	working-directory: '.'
	doxyfile-path: './Doxyfile'
	enable-latex: true

	# - name: Mathjax & design
	# run: \|
	# sudo mv mathjax docs/
	# sudo mv design docs/
	- name: Sorting pages
	run: \|
	sudo mv docs/html/* docs/

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

Provide feedback