added pdf version of docs from doc/doc@4b5f7891f5