-
Glenn Morris authored
(info): Don't give an error in the absence of makeinfo - let the doc Makefiles do that, if the info files need rebuilding. (Bug#3982)
ffd8aba9
(info): Don't give an error in the absence of makeinfo - let the doc Makefiles do that, if the info files need rebuilding. (Bug#3982)