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

documentation: configuration switch for an odoc documentation mode #9997

Merged
merged 16 commits into from
Apr 7, 2021
Merged

documentation: configuration switch for an odoc documentation mode #9997

merged 16 commits into from
Apr 7, 2021

Commits on Apr 2, 2021

  1. documentation: add an odoc configuration switch

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    5e3249b View commit details
    Browse the repository at this point in the history

  2. update Changes

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    e852258 View commit details
    Browse the repository at this point in the history

  3. fix ocamldoc html options

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    0cff531 View commit details
    Browse the repository at this point in the history

  4. api_docgen makefiles: replace setup target

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    9b3435d View commit details
    Browse the repository at this point in the history

  5. odoc configuration option renamed to --with-odoc

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    46cea52 View commit details
    Browse the repository at this point in the history

  6. review: replace witness by stamp

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    8764836 View commit details
    Browse the repository at this point in the history

  7. review: prettier api_docgen Makefiles

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    1fccef7 View commit details
    Browse the repository at this point in the history

  8. review: remove setup

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    38cb20a View commit details
    Browse the repository at this point in the history

  9. review: use build directory uniformly

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    2521b3c View commit details
    Browse the repository at this point in the history

  10. review: documentation_mode -> documentation_tool

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    f99ae6e View commit details
    Browse the repository at this point in the history

  11. review: basic documentation for odoc Makefile

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    29952bd View commit details
    Browse the repository at this point in the history

  12. manual: fix odoc reference to stdlib modules

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    6b7b7b5 View commit details
    Browse the repository at this point in the history

  13. review: move apidocgen/.gitignore to .gitignore

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    d8e4790 View commit details
    Browse the repository at this point in the history

  14. review: configuration

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    24ec4ae View commit details
    Browse the repository at this point in the history

  15. odoc: Adapt latex preamble to upstream change

    @Octachron
    Octachron committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    9f44a3a View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2021

  1. changes: add reviewers

    @Octachron
    Octachron committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    befdf1e View commit details
    Browse the repository at this point in the history