doc/installation.texi