2025-03-02 11:28:08 +01:00
|
|
|
# Read the Docs configuration file
|
|
|
|
|
# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
|
|
|
|
|
|
|
|
|
|
# Required
|
|
|
|
|
version: 2
|
|
|
|
|
# Set the OS, Python version, and other tools you might need
|
|
|
|
|
build:
|
|
|
|
|
os: ubuntu-24.04
|
|
|
|
|
tools:
|
|
|
|
|
ruby: "3.3"
|
|
|
|
|
commands:
|
|
|
|
|
# Install dependencies
|
2025-03-02 11:32:36 +01:00
|
|
|
- cd webpages && gem install bundle
|
|
|
|
|
- cd webpages && bundle install
|
2025-03-02 11:28:08 +01:00
|
|
|
# Build the site and save generated files into Read the Docs directory
|
2025-03-02 11:32:36 +01:00
|
|
|
- cd webpages && jekyll build --destination $READTHEDOCS_OUTPUT/html
|
2025-03-02 13:15:38 +01:00
|
|
|
- cp webpages/robots-readthedocs.txt $READTHEDOCS_OUTPUT/html/robots.txt
|
2025-03-02 11:28:08 +01:00
|
|
|
|
