diff --git a/doc/pdf/mpabi-inf-rv32i-asm-01-number-systems-v00.01-d132962b-7deb-5605-8567-d5d35f688230.pdf b/doc/pdf/mpabi-inf-rv32i-asm-01-number-systems-v00.01-d132962b-7deb-5605-8567-d5d35f688230.pdf
new file mode 100644
index 0000000..03069fc
Binary files /dev/null and b/doc/pdf/mpabi-inf-rv32i-asm-01-number-systems-v00.01-d132962b-7deb-5605-8567-d5d35f688230.pdf differ
diff --git a/doc/pdf/source-commit.txt b/doc/pdf/source-commit.txt
new file mode 100644
index 0000000..9c6abc6
--- /dev/null
+++ b/doc/pdf/source-commit.txt
@@ -0,0 +1 @@
+6c9e07abdf170861329d37845bb464e0866bbff9