diff options
author | Andrew Waterman <andrew@sifive.com> | 2023-09-06 16:14:37 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2023-09-06 16:15:08 -0700 |
commit | 4a47c86522778c230672004be59c708f52fbd394 (patch) | |
tree | d3130fb9f81e14ba70ada283cb622e9fa4763307 /build | |
parent | de9c2a8f6ef977a21785b59eb755dd26e1f0db27 (diff) | |
download | riscv-isa-manual-4a47c86522778c230672004be59c708f52fbd394.zip riscv-isa-manual-4a47c86522778c230672004be59c708f52fbd394.tar.gz riscv-isa-manual-4a47c86522778c230672004be59c708f52fbd394.tar.bz2 |
Add `make docker` target to simplify building with docker image
Diffstat (limited to 'build')
-rw-r--r-- | build/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build/Makefile b/build/Makefile index 7fe0f6f..9b6b694 100644 --- a/build/Makefile +++ b/build/Makefile @@ -22,6 +22,11 @@ TARGETS := priv unpriv priv-html unpriv-html priv-latex # Default target builds all all: $(TARGETS) +# Build with preinstalled docker container; first install it with: +# docker pull riscvintl/riscv-docs-base-container-image:latest +docker: + cd .. && docker run -it -v .:/build riscvintl/riscv-docs-base-container-image:latest /bin/sh -c 'cd ./build; make' + # Asciidoctor options ASCIIDOCTOR_OPTS := --attribute=mathematical-format=svg \ --failure-level=ERROR \ |