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

Dedicated sidebar file #1250

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Dedicated sidebar file #1250

wants to merge 6 commits into from

Commits on Nov 21, 2024

  1. Move Json module to Odoc_utils

    @panglesd
    panglesd committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    64e4456 View commit details
    Browse the repository at this point in the history

  2. Sidebar generation: Add a command to generate the sidebar

    @panglesd
    panglesd committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    8c11481 View commit details
    Browse the repository at this point in the history

  3. Sidebar generate: Add a "kind" to the json output

    @panglesd
    panglesd committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    60da2d7 View commit details
    Browse the repository at this point in the history

  4. Sidebar-generate: take sidebar as input in html-generate 

    And not the index file, to avoid doing multiple times the same thing
    @panglesd
    panglesd committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    e4b03f3 View commit details
    Browse the repository at this point in the history

  5. Sidebar generate: Update driver

    @panglesd
    panglesd committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    d851077 View commit details
    Browse the repository at this point in the history

  6. Changelog entry for ocaml#1250

    @panglesd
    panglesd committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    0031767 View commit details
    Browse the repository at this point in the history