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

Automate sidebar generation for SMTLIB content #83

Open
rlisahuang opened this issue Aug 5, 2022 · 1 comment
Open

Automate sidebar generation for SMTLIB content #83

rlisahuang opened this issue Aug 5, 2022 · 1 comment
Assignees
@NikolajBjorner
Labels
bug Something isn't working content
Milestone
phase 2

Comments

@rlisahuang
Copy link
Contributor

z3guide/website/sidebars/smtlibSidebars.js

Line 17 in d70efa3

// tutorialSidebar: [{type: 'autogenerated', dirName: '.'}],

Uncomment this line and remove the rest of the code.
@rlisahuang rlisahuang added the bug Something isn't working label Aug 5, 2022
@rlisahuang rlisahuang mentioned this issue Aug 5, 2022
Closed
@rlisahuang rlisahuang added this to the phase 2 milestone Aug 5, 2022
@pelikhan pelikhan assigned NikolajBjorner and unassigned ayanamonr Sep 1, 2022
@pelikhan
Copy link
Member

pelikhan commented Sep 1, 2022

@NikolajBjorner your call if you want automated table of content or manual updates (and potential issues)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@NikolajBjorner NikolajBjorner

Labels
bug Something isn't working content
Projects
None yet
Milestone
phase 2
Development

No branches or pull requests
4 participants
@NikolajBjorner @pelikhan @ayanamonr @rlisahuang