diff --git a/tools/bin/make.exe b/tools/bin/make.exe
new file mode 100644
index 0000000000000000000000000000000000000000..d9da5616793fbef2614e3c24352dc162d516094c
Binary files /dev/null and b/tools/bin/make.exe differ
diff --git a/tools/bin/make.pdf b/tools/bin/make.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..7bbd6b19c66777e2cbd582ed0da34b39d19823cf
Binary files /dev/null and b/tools/bin/make.pdf differ