diff --git a/doc/pdf/mpabi-inf-rv32i-asm-05-alu-v00.01-aabf60d8-9071-5f77-9bbb-2fc500f05358.pdf b/doc/pdf/mpabi-inf-rv32i-asm-05-alu-v00.01-aabf60d8-9071-5f77-9bbb-2fc500f05358.pdf
new file mode 100644
index 0000000..271fd39
Binary files /dev/null and b/doc/pdf/mpabi-inf-rv32i-asm-05-alu-v00.01-aabf60d8-9071-5f77-9bbb-2fc500f05358.pdf differ
diff --git a/doc/pdf/source-commit.txt b/doc/pdf/source-commit.txt
new file mode 100644
index 0000000..05d99ad
--- /dev/null
+++ b/doc/pdf/source-commit.txt
@@ -0,0 +1 @@
+ba7346f3e5ed3b16c354c6f83532271dec83311f