diff --git a/doc/userman.pdf b/doc/userman.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..2950a9e6567a55c84b6fcd0772da8f1d64828f59
Binary files /dev/null and b/doc/userman.pdf differ