Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Documentation: include additional bits to the documentation if file exists #178

Closed
wants to merge 1 commit into from

Conversation

igorpecovnik
Copy link
Member

Description

We might want to have additional information with specific command to be included in final .md file.

Implementation Details

We place files with their IDs into docs/ subfolder where automation takes and insert into .md file on generation.

Testing Procedure

Tested manually

Checklist

  • My code follows the style guidelines of this project
  • I have performed a self-review of my code
  • I have ensured that my changes do not introduce new warnings or errors
  • No new external dependencies are included
  • Changes have been tested and verified
  • I have included necessary metadata in the code, including associative arrays

…xists

We might need to have additional informations with specific command to be included in final .md file.
@igorpecovnik igorpecovnik added Discussion Being discussed - Voice your opinions :) Work in progress Unfinished / work in progress labels Oct 12, 2024
@github-actions github-actions bot added size/small PR with less then 50 lines Scripts labels Oct 12, 2024
@igorpecovnik igorpecovnik deleted the extend_docs branch November 5, 2024 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Discussion Being discussed - Voice your opinions :) size/small PR with less then 50 lines Work in progress Unfinished / work in progress
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant