chore: move Makefiles and rename them #106

	name: Hygiene

	on:
	push:
	branches:
	- feature/*
	- bugfix/*
	- hotfix/*
	- develop
	- main

	permissions:
	contents: read

	jobs:
	code-hygiene:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3

	- name: Set up Python 3.10
	uses: actions/setup-python@v4
	with:
	python-version: "3.10"

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install pre-commit

	- name: Install pre-commit hooks and execute rules
	run: pre-commit run --all-files

	doc-hygiene:
	needs: code-hygiene
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3

	- name: Build documentation
	run: make doc/build

	- name: Check documentation status
	run: git diff --exit-code # exit 1 if there's a difference between what was pushed with what was produced by doc/build.

Provide feedback