diff options
| author | Glenn Morris | 2008-05-09 04:27:56 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-05-09 04:27:56 +0000 |
| commit | 09817afc31700d6611e78eb88c67710124f7c881 (patch) | |
| tree | 85d275a3f1a6a61d77b69d0d0ed398f33074e19c /admin/notes/cpp | |
| parent | 8275fb5af0e53b66d6e1348777f817e0a175088b (diff) | |
| download | emacs-09817afc31700d6611e78eb88c67710124f7c881.tar.gz emacs-09817afc31700d6611e78eb88c67710124f7c881.zip | |
Make absence of makeinfo a fatal error only if the info files don't exist.
Diffstat (limited to 'admin/notes/cpp')
0 files changed, 0 insertions, 0 deletions