adding rkt-doc pdfs