diff --git a/.devcontainer.json b/.devcontainer.json index 732ab66..7da7a9c 100644 --- a/.devcontainer.json +++ b/.devcontainer.json @@ -15,9 +15,9 @@ "name": "PreTeXt-Codespaces", // This Docker image includes some LaTeX support, but is still not to large. Note that if you keep your codespace running, it will use up your GitHub free storage quota. Additional options are listed below. - "image": "oscarlevin/pretext:small", + // "image": "oscarlevin/pretext:small", // If you need to generate more complicated assets (such as sageplots) or use additional fonts when building to PDF, comment out the above line and uncomment the following line. - // "image": "oscarlevin/pretext:full", + "image": "oscarlevin/pretext:full", // If you only intend to build for web and don't have any latex-image generated assets, you can use a smaller image: // "image": "oscarlevin/pretext:lite", diff --git a/.github/workflows/pretext-cli.yml b/.github/workflows/pretext-cli.yml index 22b8a3c..2be6660 100644 --- a/.github/workflows/pretext-cli.yml +++ b/.github/workflows/pretext-cli.yml @@ -24,8 +24,21 @@ jobs: - name: install deps run: pip install -r requirements.txt + - name: install local ptx files + run: pretext --version + - name: build deploy targets - run: pretext build --deploys + run: | + version="$(pretext --version)" + major="$(echo $version | cut -d '.' -f 1)" + minor="$(echo $version | cut -d '.' -f 2)" + if [ "$major" -ge 2 -a "$minor" -ge 5 ]; then + echo "PreTeXt version is 2.5 or greater; using new build command" + pretext build --deploys + else + echo "PreTeXt version is less than 2.5, using old build command" + pretext build + fi - name: stage deployment run: pretext deploy --stage-only diff --git a/requirements.txt b/requirements.txt index 13dd24c..cb20c6a 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,2 +1,2 @@ # -pretext == 2.6.2 +pretext == 2.7.1