Create $(infodir) before trying to install info files.
This page took 0.046185 seconds and 3 git commands to generate.