From 760012702cf091de29d208fc337c2b9c3fddb4b6 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Sun, 24 Dec 2023 01:06:59 +0100 Subject: Initial commit --- README.md | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 README.md (limited to 'README.md') diff --git a/README.md b/README.md new file mode 100644 index 0000000..b1c6611 --- /dev/null +++ b/README.md @@ -0,0 +1,37 @@ +# Man plugin for Dillo + +Shows local manual pages as HTML in Dillo with clickable links to other +manual pages. It uses the [man(1)](man:man) program to generate the HTML +from the manual pages (with the -T html extension) and [sed(1)](man:sed) +to manipulate the HTML. + +It comes with a CSS style file that improves the display of manual +pages and can be modified to change the appearance. + +

+

+ +## Installation + +To install the plugin use: + +``` +$ make install +``` + +The two files `man.filter.dpi` and `style.css` will be copied into +`~/.dillo/dpi/man/`. Edit `style.css` as needed. + +## Usage + +The manual pages are accessed by the name of the manual page alone, +`man:bash`, or with the section number in parenthesis to specify the +manual section, `man:read(3)`. + +Here are some examples to test it from the command line: + +``` +$ dillo man:git +$ dillo man:namespaces +$ dillo "man:groff(7)" +``` -- cgit v1.2.3