diff doc/lispref/commands.texi @ 94598:bc725ee2bc85

(MAKEINFO): New, set by configure. (install-arch-indep): Without makeinfo, ignore any missing manuals. (info-real): New target. (info): Without makeinfo, do nothing, else call `info-real'.
author Glenn Morris <rgm@gnu.org>
date Sat, 03 May 2008 20:16:32 +0000
parents 6d85304f4f12
children a0e705c1e7f7
line wrap: on
line diff