In HTML output, allow switching the desired font for subsequent

[mandoc.git] / main.c

diff --git a/main.c b/main.c
index ae3a6320951336538884f30f3c4d7648ba03a5e6..b91c15860ab1051dc0a452bf7abd3ec9dad3663c 100644 (file)
--- a/main.c
+++ b/main.c
@@ -1,4 +1,4 @@
-/*     $Id: main.c,v 1.321 2019/03/04 18:15:06 schwarze Exp $ */
+/*     $Id: main.c,v 1.322 2019/03/06 10:18:58 schwarze Exp $ */
 /*
  * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2010-2012, 2014-2019 Ingo Schwarze <schwarze@openbsd.org>
@@ -1161,7 +1161,9 @@ spawn_pager(struct tag_files *tag_files)
        char            *argv[MAX_PAGER_ARGS];
        const char      *pager;
        char            *cp;
+#if HAVE_LESS_T
        size_t           cmdlen;
+#endif
        int              argc, use_ofn;
        pid_t            pager_pid;
 
@@ -1193,6 +1195,7 @@ spawn_pager(struct tag_files *tag_files)
        /* For less(1), use the tag file. */
 
        use_ofn = 1;
+#if HAVE_LESS_T
        if ((cmdlen = strlen(argv[0])) >= 4) {
                cp = argv[0] + cmdlen - 4;
                if (strcmp(cp, "less") == 0) {
@@ -1205,6 +1208,7 @@ spawn_pager(struct tag_files *tag_files)
                        }
                }
        }
+#endif
        if (use_ofn)
                argv[argc++] = tag_files->ofn;
        argv[argc] = NULL;