diff options
Diffstat (limited to 'src/man2html/yelp-man2html.c')
| -rw-r--r-- | src/man2html/yelp-man2html.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/man2html/yelp-man2html.c b/src/man2html/yelp-man2html.c index ed811b78..665d7340 100644 --- a/src/man2html/yelp-man2html.c +++ b/src/man2html/yelp-man2html.c @@ -3711,10 +3711,16 @@ main(int argc, char **argv) if(output[0]) infh = gzopen(output, "r"); + } } - if(!infh) - return 3; + if(!infh) { + printf("<HTML><HEAD><TITLE>Document not found</TITLE>\n" + "</HEAD><BODY>The document \"%s\" couldn't be found. It may have been removed from your system.\n" + "</BODY></HTML>\n", infile); + + return 3; + } buf=read_man_page(); if (!buf) { |