Merge pull request #72 from Ventus218/develop #23

	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.

	name: Delivery

	on:
	push:
	tags:
	- "..*"

	permissions:
	contents: write

	jobs:
	publish-release:
	runs-on: ubuntu-22.04

	steps:
	- uses: actions/checkout@v4
	- name: Set up JDK 21
	uses: actions/setup-java@v4
	with:
	java-version: '21'
	distribution: 'temurin'
	- name: Run sbt assembly
	run: sbt assembly
	- name: Fixing relative paths and copying README.md into docs
	run: \|
	sed -i 's\|./docs/\|./\|g' README.md
	cp README.md docs/00_Indice.md
	- name: Publish PDF Document
	id: publish-document
	uses: shrink/actions-document-publish@v1
	with:
	sources: 'docs/*.md'
	- name: Rename pdf file
	run: cp ${{ steps.publish-document.outputs.pdf }} "./Documentazione.pdf"
	- name: Release
	uses: softprops/action-gh-release@v2
	with:
	files: \|
	*.jar
	Documentazione.pdf

Provide feedback