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/prefix-args.c | |
| 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/prefix-args.c')
0 files changed, 0 insertions, 0 deletions