# HG changeset patch
# User diego
# Date 1054420322 0
# Node ID 8d58c242de3403482cddcc98edf5730dea336c1c
# Parent  58567c3b9f7730b1576160878754c125700653e4
Default indentation is 4 now.

diff -r 58567c3b9f77 -r 8d58c242de34 DOCS/en/mplayer.1
--- 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
 .\" 
diff -r 58567c3b9f77 -r 8d58c242de34 DOCS/tech/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: