VeriFIT / mata

A fast and simple automata library
MIT License
20 stars 13 forks source link

Fix Doxygen documentation generation #417

Open Adda0 opened 3 months ago

Adda0 commented 3 months ago

The generation of documentation using Doxygen does not work correctly. There are errors about missing files and the documentation is therefore unusable. The configuration for generating the documentation needs to be reviewed and fixed, as well as actions for running the generation itself and deploying the generated documentation.