diff options
| author | Andrew Waterman <andrew@sifive.com> | 2018-05-23 17:23:31 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2018-05-23 17:23:31 -0700 |
| commit | 62a674e5f123df5369410e09544c71ffa1566cdd (patch) | |
| tree | 7ee93be347e0371ec445b512b3b7a1021bef0951 /build | |
| parent | f8ca22cdd26e155484ed15488c64d4add960d3fa (diff) | |
| download | riscv-isa-manual-62a674e5f123df5369410e09544c71ffa1566cdd.zip riscv-isa-manual-62a674e5f123df5369410e09544c71ffa1566cdd.tar.gz riscv-isa-manual-62a674e5f123df5369410e09544c71ffa1566cdd.tar.bz2 | |
Build PDFs of the specs when master branch is pushed
Diffstat (limited to 'build')
| -rw-r--r-- | build/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/Makefile b/build/Makefile index 5182f32..8b895f2 100644 --- a/build/Makefile +++ b/build/Makefile @@ -31,7 +31,7 @@ bibs = $(srcdir)/riscv-spec.bib # You shouldn't need to change anything below this #======================================================================= -PDFLATEX := TEXINPUTS=$(srcdir): pdflatex +PDFLATEX := TEXINPUTS=$(srcdir): pdflatex -interaction=nonstopmode -halt-on-error BIBTEX := BIBINPUTS=$(srcdir): bibtex default : pdf |