Build pdf with a container
make docker-build
TARGETS=all make docker-run
# TARGETS=bib make docker-run
# TARGETS=pdf make docker-run
# TARGETS=letter make docker-run
Build and develop with devcontainers
It can take several minutes for the image of the devcontainer to get built for the first time
make all