# HG changeset patch
# User diego
# Date 1162403000 0
# Node ID 02de8bb9bbbaa3e54e9cbf9dc1e0add5e6f47440
# Parent  2b0bf38913610199f6333ece9a2e96731f9bffb0
The col utility eats non-ASCII characters without the -p option it seems.

diff -r 2b0bf3891361 -r 02de8bb9bbba DOCS/tech/manpage.txt
--- a/DOCS/tech/manpage.txt	Wed Nov 01 17:33:45 2006 +0000
+++ b/DOCS/tech/manpage.txt	Wed Nov 01 17:43:20 2006 +0000
@@ -57,7 +57,7 @@
     groff is the "official" tool to convert man pages. To get good results you
     need a recent version (1.18.2).
     groff -mman -Thtml mplayer.1 > mplayer.1.html
-    groff -mman -Tlatin1 -rLL=78n mplayer.1 | col -bx > mplayer.1.txt
+    groff -mman -Tlatin1 -rLL=78n mplayer.1 | col -bxp > mplayer.1.txt
     The groff man page lists other output formats to use with -T.
 
     Unfortunately groff is not able to handle UTF-8 input as of version 1.19.2.