COPYING install-sh manual/gpl.texi manual/texinfo.tex manual/texinice.tex missing mkinstalldirs