riscv/riscv-isa-manual

use docs-resources as submodule to pull in shared resources (pdf theme, fonts, etc)

kbroch-rivosinc opened this issue · 1 comments

wmat commented

Resolved by #1449