diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2014-04-04 15:55:19 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2014-04-04 15:55:19 +0000 |
commit | 994580065e7e64895b2192324b068e553d90f7ba (patch) | |
tree | 18c50b1047cc520798ef613f5705169253c25421 /man-cgi.css | |
parent | 7fb2fd7f16e762237be097523fb48320a165689e (diff) | |
download | mandoc-994580065e7e64895b2192324b068e553d90f7ba.tar.gz mandoc-994580065e7e64895b2192324b068e553d90f7ba.tar.zst mandoc-994580065e7e64895b2192324b068e553d90f7ba.zip |
Remember which names are in the NAME section.
This helps to find missing MLINKS.
Database build times do not change and database growth is minimal
(1.2% with -Q, 0.7% without -Q in /usr/share/man),
so making this optional would be pointless.
Diffstat (limited to 'man-cgi.css')
0 files changed, 0 insertions, 0 deletions