diff options
author | 2017-07-15 13:17:49 +0000 | |
---|---|---|
committer | 2017-07-15 13:17:49 +0000 | |
commit | b135eeb2e6bc52a855d0a282c4a772eecc177a76 (patch) | |
tree | 8d08c6033ea61adf216c7e0ad1acc9d361c3a349 /regress/char | |
parent | d7e2ff39afca17f5ebd28417614b0c6422471545 (diff) | |
download | mandoc-b135eeb2e6bc52a855d0a282c4a772eecc177a76.tar.gz mandoc-b135eeb2e6bc52a855d0a282c4a772eecc177a76.tar.zst mandoc-b135eeb2e6bc52a855d0a282c4a772eecc177a76.zip |
Improve rev. 1.250 further:
If a database is empty, we already don't write a database file and
delete an existing one. If none exists, that only means the database
was empty and remains so, which is not an error. So don't nag about
it, in particular because that would be a weekly(8) annoyance.
Issue reported by jmc@.
Diffstat (limited to 'regress/char')
0 files changed, 0 insertions, 0 deletions