diff options
author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-05-08 21:23:49 +0200 |
---|---|---|
committer | rodarima <rodarima@gmail.com> | 2024-05-08 21:33:18 +0200 |
commit | 247f7b0531dcf3eb16dc10ebd4b306e9c0fd4537 (patch) | |
tree | 07f89bf8d24be3378f31220d82cedbd6f2ed11a0 /man.filter.dpi | |
parent | f08445f13e203c09f24bbf709e11016272f33434 (diff) |
Unset MANROFFOPT before running man
Options used for nroff may not be suitable for the HTML postprocessor.
See: https://github.com/dillo-browser/dillo-plugin-man/issues/1#issuecomment-2095770618
Diffstat (limited to 'man.filter.dpi')
-rwxr-xr-x | man.filter.dpi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man.filter.dpi b/man.filter.dpi index fff0087..c028235 100755 --- a/man.filter.dpi +++ b/man.filter.dpi @@ -61,6 +61,7 @@ serve_manpage() { else printf "<cmd='start_send_page' url='' '>\n" printf "Content-type: text/html\r\n\r\n" + unset MANROFFOPT man -Thtml $manpage | inject_css | link_xrefs 2>&1 fi } |