Corrige identificação automática de doc/doctitle (translation)

Fixes #817