* doc/install.texi: Clean up Texinfo markup.