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

docs: Use toctree glob for ip/project_based #153

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

gastmaier
Copy link
Contributor

PR Description

Most merge conflicts are just the inclusion at the toctree in alphabetical order, by using glob, we can mitigate them. To not include the orphan templates, rename them to _index.

Also remove dangling orphan empty project ad7616.

PR Type

  • Bug fix (change that fixes an issue)
  • New feature (change that adds new functionality)
  • New test (change that adds new test program and/or testbench)
  • Breaking change (has dependencies in other repositories/testbenches)

PR Checklist

  • I have followed the code style guidelines
  • I have performed a self-review of changes
  • I have ran all testbenches affected by this PR
  • I have commented my code, at least hard-to-understand parts
  • I have signed off all commits from this PR
  • I have updated the documentation (wiki pages, ReadMe files, Copyright etc)
  • I have not introduced new Warnings/Errors on compilation/elaboration/simulation
  • I have set the verbosity level to none for the test program

Most merge conflicts are just the inclusion at the toctree in
alphabetical order, by using glob, we can mitigate them.
To not include the orphan templates, rename them to _index.

Also remove dangling orphan empty project ad7616.

Signed-off-by: Jorge Marques <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant