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

Static HTML docs generator #652

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

Static HTML docs generator #652

wants to merge 17 commits into from

Commits on Sep 7, 2023

  1. initial wip

    @farism
    farism committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    75e1477 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2023

  1. improved templating, add search, more command flags

    @farism
    farism committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    2ddcb68 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2023

  1. a little cleanup

    @farism
    farism committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    68f73f9 View commit details
    Browse the repository at this point in the history

  2. add some missing links, tweak css

    @farism
    farism committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    1873dd9 View commit details
    Browse the repository at this point in the history

  3. formatting

    @farism
    farism committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    4306ecc View commit details
    Browse the repository at this point in the history

  4. fix ameba errors

    @farism
    farism committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    cdf572f View commit details
    Browse the repository at this point in the history

  5. format

    @farism
    farism committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    970d1d4 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2023

  1. merge master

    @farism
    farism committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    02d0eba View commit details
    Browse the repository at this point in the history

  2. got it working again

    @farism
    farism committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    160eebf View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of github.com:mint-lang/mint into html-docs-gen… 

    …erator
    @farism
    farism committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    7db50a5 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2023

  1. inlined asset

    @farism
    farism committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    5575199 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Merge branch 'master' of github.com:mint-lang/mint into html-docs-gen… 

    …erator
    @farism
    farism committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    c88435d View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. embed all resources

    @farism
    farism committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    2bc9cab View commit details
    Browse the repository at this point in the history

  2. formatting

    @farism
    farism committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    6ae91e5 View commit details
    Browse the repository at this point in the history

  3. update some styles

    @farism
    farism committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    38185a0 View commit details
    Browse the repository at this point in the history

  4. cleanup

    @farism
    farism committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    28d5dc7 View commit details
    Browse the repository at this point in the history

  5. Updates. 

    - Remove white background from source link
- Remove asset url from the fonts since they are relative
- Added `html` extension to the pages
    @gdotdesign
    gdotdesign committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    bb24cf3 View commit details
    Browse the repository at this point in the history