Makefile: simplify document generation targets#391
Open
jerryzj wants to merge 2 commits intoriscv-non-isa:post-1.0-devfrom
Open
Makefile: simplify document generation targets#391jerryzj wants to merge 2 commits intoriscv-non-isa:post-1.0-devfrom
jerryzj wants to merge 2 commits intoriscv-non-isa:post-1.0-devfrom