=================================================================== RCS file: /cvs/mandoc/main.c,v retrieving revision 1.349 retrieving revision 1.350 diff -u -p -r1.349 -r1.350 --- mandoc/main.c 2020/06/14 16:24:18 1.349 +++ mandoc/main.c 2020/06/15 17:25:42 1.350 @@ -1,4 +1,4 @@ -/* $Id: main.c,v 1.349 2020/06/14 16:24:18 schwarze Exp $ */ +/* $Id: main.c,v 1.350 2020/06/15 17:25:42 schwarze Exp $ */ /* * Copyright (c) 2010-2012, 2014-2020 Ingo Schwarze * Copyright (c) 2008-2012 Kristaps Dzonsons @@ -108,8 +108,8 @@ static void parse(struct mparse *, int, const char static void passthrough(int, int); static void process_onefile(struct mparse *, struct manpage *, int, struct outstate *, struct manconf *); -static void run_pager(struct tag_files *, char *); -static pid_t spawn_pager(struct tag_files *, char *); +static void run_pager(struct outstate *, char *); +static pid_t spawn_pager(struct outstate *, char *); static void usage(enum argmode) __attribute__((__noreturn__)); static int woptions(char *, enum mandoc_os *, int *); @@ -643,7 +643,7 @@ out: if (outst.tag_files != NULL) { if (term_tag_close() != -1) - run_pager(outst.tag_files, conf.output.tag); + run_pager(&outst, conf.output.tag); term_tag_unlink(); } else if (outst.had_output && outst.outtype != OUTT_LINT) mandoc_msg_summary(); @@ -1144,15 +1144,15 @@ woptions(char *arg, enum mandoc_os *os_e, int *wstop) * then fork the pager and wait for the user to close it. */ static void -run_pager(struct tag_files *tag_files, char *tag_target) +run_pager(struct outstate *outst, char *tag_target) { int signum, status; pid_t man_pgid, tc_pgid; pid_t pager_pid, wait_pid; man_pgid = getpgid(0); - tag_files->tcpgid = man_pgid == getpid() ? getpgid(getppid()) : - man_pgid; + outst->tag_files->tcpgid = + man_pgid == getpid() ? getpgid(getppid()) : man_pgid; pager_pid = 0; signum = SIGSTOP; @@ -1166,7 +1166,7 @@ run_pager(struct tag_files *tag_files, char *tag_targe if (signum == SIGTTIN) continue; } else - tag_files->tcpgid = tc_pgid; + outst->tag_files->tcpgid = tc_pgid; kill(0, signum); continue; } @@ -1177,7 +1177,7 @@ run_pager(struct tag_files *tag_files, char *tag_targe (void)tcsetpgrp(STDOUT_FILENO, pager_pid); kill(pager_pid, SIGCONT); } else - pager_pid = spawn_pager(tag_files, tag_target); + pager_pid = spawn_pager(outst, tag_target); /* Wait for the pager to stop or exit. */ @@ -1198,7 +1198,7 @@ run_pager(struct tag_files *tag_files, char *tag_targe } static pid_t -spawn_pager(struct tag_files *tag_files, char *tag_target) +spawn_pager(struct outstate *outst, char *tag_target) { const struct timespec timeout = { 0, 100000000 }; /* 0.1s */ #define MAX_PAGER_ARGS 16 @@ -1211,8 +1211,8 @@ spawn_pager(struct tag_files *tag_files, char *tag_tar int argc, use_ofn; pid_t pager_pid; - assert(tag_files->ofd == -1); - assert(tag_files->tfs == NULL); + assert(outst->tag_files->ofd == -1); + assert(outst->tag_files->tfs == NULL); pager = getenv("MANPAGER"); if (pager == NULL || *pager == '\0') @@ -1243,11 +1243,12 @@ spawn_pager(struct tag_files *tag_files, char *tag_tar use_ofn = 1; #if HAVE_LESS_T - if (*tag_files->tfn != '\0' && (cmdlen = strlen(argv[0])) >= 4) { + if (*outst->tag_files->tfn != '\0' && + (cmdlen = strlen(argv[0])) >= 4) { cp = argv[0] + cmdlen - 4; if (strcmp(cp, "less") == 0) { argv[argc++] = mandoc_strdup("-T"); - argv[argc++] = tag_files->tfn; + argv[argc++] = outst->tag_files->tfn; if (tag_target != NULL) { argv[argc++] = mandoc_strdup("-t"); argv[argc++] = tag_target; @@ -1256,8 +1257,14 @@ spawn_pager(struct tag_files *tag_files, char *tag_tar } } #endif - if (use_ofn) - argv[argc++] = tag_files->ofn; + if (use_ofn) { + if (outst->outtype == OUTT_HTML && tag_target != NULL) + mandoc_asprintf(&argv[argc], "file://%s#%s", + outst->tag_files->ofn, tag_target); + else + argv[argc] = outst->tag_files->ofn; + argc++; + } argv[argc] = NULL; switch (pager_pid = fork()) { @@ -1276,7 +1283,7 @@ spawn_pager(struct tag_files *tag_files, char *tag_tar exit(mandoc_msg_getrc()); } #endif - tag_files->pager_pid = pager_pid; + outst->tag_files->pager_pid = pager_pid; return pager_pid; }