diff options
author | Glenn Morris <[email protected]> | 2008-05-03 20:16:45 +0000 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2008-05-03 20:16:45 +0000 |
commit | 79bc8bbb21e553f853a7c7e060f64c02426d0d73 (patch) | |
tree | 196e5349fa03e83413a94dc2a99dcfe07ad673b5 /src | |
parent | 4c18f8b45c81f17023dd2f5e99850dfde73ab047 (diff) |
(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'.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions