($(infodir)/dir): New target, produced by running multi-install-info.bat.
Attach a file by drag & drop or click to upload
