diff options
-rw-r--r-- | build/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build/Makefile b/build/Makefile index 3baca26..6a8169b 100644 --- a/build/Makefile +++ b/build/Makefile @@ -1,5 +1,5 @@ -HEADER_SOURCE := ../src/riscv-privileged.adoc -#HEADER_SOURCE := ../src/riscv-isa-unpr-conv-review.adoc +#HEADER_SOURCE := ../src/riscv-privileged.adoc +HEADER_SOURCE := ../src/riscv-isa-unpr-conv-review.adoc PDF_RESULT := priv-isa-asciidoc.pdf #PDF_RESULT := unpriv-isa-asciidoc.pdf # Not all document sources are yet listed here. Not just adoc files but |