small patch to man pages

[Wookey]

There is a bug in the print.ini man page in survex 1.0.39. The various
backslash-preceded symbols \0, \t \n etc don't come out in the file, and
there is a coresponding error:
usr/share/man/man5/print.ini.5.gz /tmp/zman2FlHFA:94: a space character is
not allowed in an escape name

This patch fixes the problem by escaping the backslashes:

--- print.ini.sgml~	2003-09-06 19:06:16.000000000 +0100
+++ print.ini.sgml	2006-01-25 00:13:51.177372008 +0000
@@ -88,15 +88,15 @@
 <Para>
 In the unlikely event that you need to change the printer control
 codes, here is a quick overview of the format: printable characters
-are literal, except for backslash.  A backslash '\'
+are literal, except for backslash.  A backslash '\\'
 indicates that the following character or characters are to be
 interpreted as a control code, as follows:
-\ followed by an 'x' followed by two hex digits
+\\ followed by an 'x' followed by two hex digits
 represents the character with that hex value;
 a double backslash means a literal backslash;
-\0 is nul (0); \t is tab (9); \n is newline (10);
-\r is return (13); \[ is escape (27); \? is delete (127);
-\A - \Z are (1) to (26).
+\\0 is nul (0); \\t is tab (9); \\n is newline (10);
+\\r is return (13); \\[ is escape (27); \\? is delete (127);
+\\A - \\Z are (1) to (26).
 </Para>
 
 <Para>

Wookey
-- 
Aleph One Ltd, Bottisham, CAMBRIDGE, CB5 9BA, UK  Tel +44 (0) 1223 811679
work: http://www.aleph1.co.uk/     play: http://www.chaos.org.uk/~wookey/