changeset 10227:8d58c242de34

Default indentation is 4 now.
author diego
date Sat, 31 May 2003 22:32:02 +0000
parents 58567c3b9f77
children 3aba8a7ab91f
files DOCS/en/mplayer.1 DOCS/tech/manpage.txt
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/en/mplayer.1	Sat May 31 22:08:53 2003 +0000
+++ b/DOCS/en/mplayer.1	Sat May 31 22:32:02 2003 +0000
@@ -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
 .\" 
--- a/DOCS/tech/manpage.txt	Sat May 31 22:08:53 2003 +0000
+++ b/DOCS/tech/manpage.txt	Sat May 31 22:32:02 2003 +0000
@@ -55,7 +55,7 @@
 
     - 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: