DocC documentation support #4

Merged
javier merged 28 commits from package/documentation into main 2025-09-09 17:30:20 +00:00
Owner

This PR contains the work done to:

  • Documented all the private, internal, and public interfaces on the existing codebase;
  • Set the DocC documentation catalog in the project;
  • Written the main Library article for the DocC documentation catalog;
  • Added the documentation tasks in the Makefile file.
This PR contains the work done to: * Documented all the `private`, `internal`, and `public` interfaces on the existing codebase; * Set the DocC documentation catalog in the project; * Written the main `Library` article for the DocC documentation catalog; * Added the documentation tasks in the `Makefile` file.
javier added the Kind/Documentation
Priority
High
labels 2025-09-09 17:30:11 +00:00
javier self-assigned this 2025-09-09 17:30:11 +00:00
javier added 28 commits 2025-09-09 17:30:12 +00:00
javier merged commit 37c0f3e322 into main 2025-09-09 17:30:20 +00:00
javier deleted branch package/documentation 2025-09-09 17:30:20 +00:00
Sign in to join this conversation.