diff options
author | 2013-10-27 16:41:31 +0000 | |
---|---|---|
committer | 2013-10-27 16:41:31 +0000 | |
commit | 574ab36c0e06c06785d95ad51eac94f7759cc8fa (patch) | |
tree | 2f35287878639b4ec11f8027920c806c40f27b28 /tbl_html.c | |
parent | 20511656c21f33d0727c770400e9597a87775aa2 (diff) | |
download | mandoc-574ab36c0e06c06785d95ad51eac94f7759cc8fa.tar.gz mandoc-574ab36c0e06c06785d95ad51eac94f7759cc8fa.tar.zst mandoc-574ab36c0e06c06785d95ad51eac94f7759cc8fa.zip |
The code in ofmerge() only tried the source parsers if at least one
of the path (/man1/ .. /man9/) or the file name suffix (*.1 .. *.9)
indicated a source manual. That missed source manuals with unusual
names in unusual locations.
Instead, as the existing comment right above already suggests, try
the source parsers unless both the path and the file name suffix
unambiguously indicate a preformatted manual (/cat*/*.0).
This change is not expensive in practice because no real-world
system will have large numbers of preformatted pages outside
/cat*/*.0. The only way to make information loss even less probable
would be to try the source parsers on all files, even /cat*/*.0,
which wouldn't buy us much because no real-world system will call
source manuals /cat*/*.0, but it will be expensive in practice,
because many real-world systems have large numbers of preformatted
pages called /cat*/*.0.
Diffstat (limited to 'tbl_html.c')
0 files changed, 0 insertions, 0 deletions