Skip to content

chore(docs): create generated/ and route docs-generated files#2437

Draft
sabasiddique1 wants to merge 1 commit intoprobabl-ai:mainfrom
sabasiddique1:chore/docs-generated-directory
Draft

chore(docs): create generated/ and route docs-generated files#2437
sabasiddique1 wants to merge 1 commit intoprobabl-ai:mainfrom
sabasiddique1:chore/docs-generated-directory

Conversation

@sabasiddique1
Copy link

@sabasiddique1 sabasiddique1 commented Feb 12, 2026

Closes #2432

@sabasiddique1 sabasiddique1 marked this pull request as draft February 12, 2026 15:02
@github-actions
Copy link
Contributor

Caution

Some commits in the pull request are not signed, or GitHub is not able to verify the signature.
Please sign all your commits; you can find more information here.
Please note that when you activate commit signing, you'll need to retroactively sign your previous commits.

@auguste-probabl
Copy link
Collaborator

I meant sphinx/generated since the files are generated when building the docs with sphinx; sorry if that was unclear

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.

chore(docs): Create generated/ directory and ensure that all generated files go there

2 participants