Skip to content

Commit

Permalink
chore(docs): stop committing codegenned docs (#4186)
Browse files Browse the repository at this point in the history
# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

We shouldn't be committing codegenned docs so this PR codegens directly
into the `processed-docs` dir.

## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [x] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
  • Loading branch information
TomAFrench authored Jan 29, 2024
1 parent 2914310 commit 09bad2c
Show file tree
Hide file tree
Showing 27 changed files with 2 additions and 870 deletions.
1 change: 0 additions & 1 deletion docs/docs/reference/NoirJS/backend_barretenberg/.nojekyll

This file was deleted.

This file was deleted.

46 changes: 0 additions & 46 deletions docs/docs/reference/NoirJS/backend_barretenberg/index.md

This file was deleted.

132 changes: 0 additions & 132 deletions docs/docs/reference/NoirJS/backend_barretenberg/interfaces/Backend.md

This file was deleted.

This file was deleted.

Loading

0 comments on commit 09bad2c

Please sign in to comment.