diff options
| author | Alasdair Armstrong | 2019-01-21 16:19:20 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-01-21 16:19:20 +0000 |
| commit | d2d7321afb0112142966c44a8dc4719851f20035 (patch) | |
| tree | 40c88ba76b765006a3f650d1bcad714c4425997d /arm | |
| parent | 3797f0a21c142b37c6ce0728f60b231f2230c4f0 (diff) | |
Fix some issues with latex generation so manual builds again
since riscv is no longer in this repository, and we use the RISC-V
duopod as an example, you need to build as:
make RISCV=directory manual.pdf
if directory is not equal to ../../sail-riscv (which is where it would
be if sail and sail-riscv are checked out in the same respository
together)
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions