Added support for doconce format with file extensions .do and .txt, not only .do.txt.