diff options
Diffstat (limited to 'build/Makefile')
-rw-r--r-- | build/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build/Makefile b/build/Makefile index 5cb1c01..abfeb22 100644 --- a/build/Makefile +++ b/build/Makefile @@ -1,5 +1,5 @@ -HEADER_SOURCE := ../src/riscv-isa-unpr-conv-review.adoc ../src/riscv-privileged.adoc -PDF_RESULT := unpriv-isa-asciidoc.pdf priv-isa-asciidoc.pdf +HEADER_SOURCE := ../src/riscv-isa-unpr-conv-review.adoc +PDF_RESULT := unpriv-isa-asciidoc.pdf # Not all document sources are yet listed here. Not just adoc files but # images/ and resources/ content. Once they are the target can remove the # phony use. |