Generation of verbatim and plaintext output from ddoc