Files
bottom/docs
Clement Tsang 99a993219e docs: remove HTML comments causing banner gap to show (#1958)
* docs: remove HTML comments causing banner gap to show

Turns out the HTML comments get rendered, which causes an unsightly bar
to show up where the banner is even when not nightly.

* add comments back but use jinja comments

See: https://tedboy.github.io/jinja2/templ5.html

* add more context
2026-01-16 00:54:46 -05:00
..

Extended Documentation

This is where the extended documentation resides, hosted on GitHub Pages. We use MkDocs, Material for MkDocs, and mike.

Documentation is currently built using Python 3.11, though it should work fine with older versions.

Running locally

One way is to just run serve.sh. Alternatively, the manual steps are, assuming your current working directory is the bottom repo:

# Change directories to the documentation.
cd docs/

# Create and activate venv.
python -m venv venv
source venv/bin/activate

# Install requirements
pip install -r requirements.txt

# Run mkdocs
venv/bin/mkdocs serve

Deploying

Deploying is done via mike in order to get versioning. Typically, this is done through CI, but can be done manually if needed.

Nightly docs

cd docs
mike deploy nightly --push

Stable docs

cd docs

# Rename the previous stable version
mike retitle --push stable $OLD_STABLE_VERSION

# Set the newest version as the most recent stable version
mike deploy --push --update-aliases $RELEASE_VERSION stable

# Append a "(stable)" string to the end.
mike retitle --push $RELEASE_VERSION "$RELEASE_VERSION (stable)"