Remove old build*.sh scripts

develop
lethosor 2022-07-22 00:47:33 -04:00
parent 4b0b0e02f8
commit 5521a5a45d
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
2 changed files with 0 additions and 24 deletions

@ -1,12 +0,0 @@
#!/bin/sh
# usage:
# ./build-pdf.sh
# SPHINX=/path/to/sphinx-build ./build-pdf.sh
# JOBS=3 ./build-pdf.sh ...
# all command-line arguments are passed directly to sphinx-build - run
# ``sphinx-build --help`` for a list, or see
# https://www.sphinx-doc.org/en/master/man/sphinx-build.html
cd $(dirname "$0")
python3 build.py pdf "$@"

@ -1,12 +0,0 @@
#!/bin/sh
# usage:
# ./build.sh
# SPHINX=/path/to/sphinx-build ./build.sh
# JOBS=3 ./build.sh ...
# all command-line arguments are passed directly to sphinx-build - run
# ``sphinx-build --help`` for a list, or see
# https://www.sphinx-doc.org/en/master/man/sphinx-build.html
cd $(dirname "$0")
python3 build.py html text "$@"