2018-12-29 00:07:13 +01:00
|
|
|
diff -u -r ../fish-3.0.0/share/functions/__fish_print_help.fish ./share/functions/__fish_print_help.fish
|
|
|
|
--- ../fish-3.0.0/share/functions/__fish_print_help.fish 2018-12-28 13:01:03.000000000 +0000
|
|
|
|
+++ ./share/functions/__fish_print_help.fish 2018-12-28 22:55:42.761223014 +0000
|
|
|
|
@@ -22,7 +22,7 @@
|
2017-06-05 21:32:37 +02:00
|
|
|
set mfish -mfish
|
2017-02-12 21:01:54 +01:00
|
|
|
end
|
2018-12-29 00:07:13 +01:00
|
|
|
if test -e "$__fish_data_dir/man/man1/$item.1"
|
|
|
|
- set help (nroff -c -man $mfish -t $rLL "$__fish_data_dir/man/man1/$item.1" 2>/dev/null)
|
2017-06-05 21:32:37 +02:00
|
|
|
+ set help (mandoc "$__fish_datadir/man/man1/$item.1" ^/dev/null)
|
2018-12-29 00:07:13 +01:00
|
|
|
else if test -e "$__fish_data_dir/man/man1/$item.1.gz"
|
|
|
|
set help (gunzip -c "$__fish_data_dir/man/man1/$item.1.gz" 2>/dev/null | nroff -c -man $mfish -t $rLL 2>/dev/null)
|
2016-11-17 01:38:08 +01:00
|
|
|
end
|
2018-12-29 00:07:13 +01:00
|
|
|
@@ -80,6 +80,6 @@
|
2017-02-12 21:01:54 +01:00
|
|
|
# skip it
|
|
|
|
end
|
|
|
|
end
|
|
|
|
- end | ul # post-process with `ul`, to interpret the old-style grotty escapes
|
2017-06-05 21:32:37 +02:00
|
|
|
+ end
|
2017-02-12 21:01:54 +01:00
|
|
|
echo # print a trailing blank line
|
2015-07-16 23:56:40 +02:00
|
|
|
end
|