GitHub Pages documentation support. #5

Merged
javier merged 3 commits from documentation/github-pages into main 2025-09-09 18:34:30 +00:00
Owner

This PR contains the work done to:

  • Update the Library article in the DocC documentation catalog in the project;
  • Generate the DocC documentation of the library for GitHub Pages;
  • Written the README file in the project.
This PR contains the work done to: * Update the `Library` article in the DocC documentation catalog in the project; * Generate the DocC documentation of the library for GitHub Pages; * Written the `README` file in the project.
javier added the Kind/Documentation
Priority
High
labels 2025-09-09 18:34:23 +00:00
javier self-assigned this 2025-09-09 18:34:23 +00:00
javier added 3 commits 2025-09-09 18:34:23 +00:00
javier merged commit 410a200661 into main 2025-09-09 18:34:30 +00:00
javier deleted branch documentation/github-pages 2025-09-09 18:34:30 +00:00
Sign in to join this conversation.