diff options
-rw-r--r-- | DOCS/en/mplayer.1 | 2 | ||||
-rw-r--r-- | DOCS/tech/manpage.txt | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/en/mplayer.1 b/DOCS/en/mplayer.1 index d415ad2753..34606fbeef 100644 --- a/DOCS/en/mplayer.1 +++ b/DOCS/en/mplayer.1 @@ -2,7 +2,7 @@ .\" This man page was/is done by Gabucino, Diego Biurrun, Jonas Jermann .\" .\" Run this to get a HTML version of the man page: -.\" cat mplayer.1 | sed s/SS\ 20/SS\ 4/ | groff -man -Thtml - > manpage.html +.\" groff -man -Thtml mplayer.1 > manpage.html .\" Run this to get a text version of the man page: .\" groff -m man -Tascii mplayer.1 | col -bx > manpage.txt .\" diff --git a/DOCS/tech/manpage.txt b/DOCS/tech/manpage.txt index eab04b6261..da831f4161 100644 --- a/DOCS/tech/manpage.txt +++ b/DOCS/tech/manpage.txt @@ -55,7 +55,7 @@ A setting of 4 should look readable. Here's an overview again: - groff: Groff is the "official" tool to convert man pages. To get good results you need a recent version (1.18.2). - cat mplayer.1 | sed s/SS\ 20/SS\ 4/ | groff -man -Thtml - > manpage.html + groff -man -Thtml mplayer.1 > manpage.html groff -rLL=64n -m man -Tascii mplayer.1 | col -bx > manpage.txt The groff man page lists other output formats to use with -T. - man2html: You can view it through a CGI script: |