version 1.327, 2019/05/03 18:39:34 |
version 1.328, 2019/07/06 20:05:27 |
Line 504 main(int argc, char *argv[]) |
|
Line 504 main(int argc, char *argv[]) |
|
if (argc < 1) { |
if (argc < 1) { |
if (use_pager) { |
if (use_pager) { |
tag_files = tag_init(); |
tag_files = tag_init(); |
tag_files->tagname = conf.output.tag; |
if (tag_files != NULL) |
|
tag_files->tagname = conf.output.tag; |
} |
} |
thisarg = "<stdin>"; |
thisarg = "<stdin>"; |
mandoc_msg_setinfilename(thisarg); |
mandoc_msg_setinfilename(thisarg); |
Line 542 main(int argc, char *argv[]) |
|
Line 543 main(int argc, char *argv[]) |
|
if (use_pager) { |
if (use_pager) { |
use_pager = 0; |
use_pager = 0; |
tag_files = tag_init(); |
tag_files = tag_init(); |
tag_files->tagname = conf.output.tag; |
if (tag_files != NULL) |
|
tag_files->tagname = conf.output.tag; |
} |
} |
|
|
mandoc_msg_setinfilename(thisarg); |
mandoc_msg_setinfilename(thisarg); |