8000 add selective build script to Docker · Issue #75 · cogent3/cogent3.github.io · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
add selective build script to Docker #75
New issue
New issue
Open
Open
add selective build script to Docker#75
Assignees
khiron
@GavinHuttley

Description

@GavinHuttley
GavinHuttley
opened on Dec 12, 2023

This script allows speeding up doc build by specifying a subset of docs to build. I've attached it below, but it will need to be modified to the directory structure of the container -- and remove references to mercurial etc ...
build_docs.py.zip

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions
    0