diff options
author | 2017-01-27 01:14:47 +0000 | |
---|---|---|
committer | 2017-01-27 01:14:47 +0000 | |
commit | 8a07f3594eed681882f664f692657e4c0cdd951d (patch) | |
tree | 65b5e23360a7a11f6ed80a27e96937ca783fbce2 /mansearch.h | |
parent | d6acf872e8ac0f7bcf4efa6dd9803b6c9e8c6d00 (diff) | |
download | mandoc-8a07f3594eed681882f664f692657e4c0cdd951d.tar.gz mandoc-8a07f3594eed681882f664f692657e4c0cdd951d.tar.zst mandoc-8a07f3594eed681882f664f692657e4c0cdd951d.zip |
Parse the section number from the content of preformatted pages
and warn if it doesn't match the directory where the file was found.
Diffstat (limited to 'mansearch.h')
0 files changed, 0 insertions, 0 deletions