Fix errors in dvcintro.texinfo
Fix INSTALL