-
Glenn Morris authored
(install-arch-indep): Without makeinfo, ignore any missing manuals. (info-real): New target. (info): Without makeinfo, do nothing, else call `info-real'.
79bc8bbb
(install-arch-indep): Without makeinfo, ignore any missing manuals. (info-real): New target. (info): Without makeinfo, do nothing, else call `info-real'.