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.

Sign up for GitHub

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

Jump to bottom

Remove kontrol prove and build flag description from docs #55

Open
palinatolmach opened this issue Sep 10, 2024 · 1 comment
Open

Remove kontrol prove and build flag description from docs #55

palinatolmach opened this issue Sep 10, 2024 · 1 comment
Labels
documentation Improvements or additions to documentation

Comments

@palinatolmach
Copy link
Contributor

palinatolmach commented Sep 10, 2024 •
edited
Loading

There were a few changes, e.g., in --init-node-from (split into two commands), --optimize-performance, --remove-old-proofs, --cse, etc.
@palinatolmach
Copy link
Contributor Author

Upd: after a discussion, we'e decided to remove this page, and make sure to mention the --help option earlier in the docs. We should also make sure --help output is descriptive.

@palinatolmach palinatolmach changed the title Update kontrol prove flag description Remove kontrol prove flag description from docs Oct 7, 2024
@palinatolmach palinatolmach added the documentation Improvements or additions to documentation label Oct 7, 2024
@palinatolmach palinatolmach changed the title Remove kontrol prove flag description from docs Remove kontrol prove and build flag description from docs Nov 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@palinatolmach