Now doc is installed

When you run make install, if documentation is in place, documentation is install in ${install_prefix}/share/doc/es, if documentation isn't generate make do nothing.