2018-08-11 19:37:08 +02:00
|
|
|
diff -u -r ../mandoc-1.14.4/main.c ./main.c
|
|
|
|
--- ../mandoc-1.14.4/main.c 2018-08-08 14:51:51.000000000 +0000
|
|
|
|
+++ ./main.c 2018-08-11 09:58:01.245684598 +0000
|
|
|
|
@@ -1187,7 +1187,7 @@
|
2015-06-13 01:03:31 +02:00
|
|
|
if (pager == NULL || *pager == '\0')
|
|
|
|
pager = getenv("PAGER");
|
|
|
|
if (pager == NULL || *pager == '\0')
|
2016-07-17 01:26:07 +02:00
|
|
|
- pager = "more -s";
|
|
|
|
+ pager = "less -s";
|
2015-06-13 01:03:31 +02:00
|
|
|
cp = mandoc_strdup(pager);
|
|
|
|
|
|
|
|
/*
|