This also makes it clearer that it has no relation to the "infodir" used by install.
Attach a file by drag & drop or click to upload