added dvi, ps and pdf to documentation

diff --git a/manual/index.html b/manual/index.html
index efdc446..a3eea3b 100644 (file)
--- a/manual/index.html
+++ b/manual/index.html
@@ -10,7 +10,7 @@
 <!-- See validator.w3.org -->
 
 <address>Free Software Foundation</address>
-<address>last updated June 09, 2009</address>
+<address>last updated June 10, 2009</address>
 
 <p>This manual (xboard) is available in the following formats:</p>
 
@@ -31,12 +31,12 @@
     (192K bytes)</a>.</li>
 <li><a href="xboard.txt.gz">ASCII text compressed
     (64K bytes gzipped)</a>.</li>
-<!--<li><a href="xboard.dvi.gz">TeX dvi file
-    (K bytes gzipped)</a>.</li>
+<li><a href="xboard.dvi.gz">TeX dvi file
+    (96K bytes gzipped)</a>.</li>
 <li><a href="xboard.ps.gz">PostScript file
-    (K bytes gzipped)</a>.</li>
+    (180K bytes gzipped)</a>.</li>
 <li><a href="xboard.pdf">PDF file
-    (K bytes)</a>.</li>-->
+    (372K bytes)</a>.</li>
 <li><a href="xboard.texi.tar.gz">Texinfo source
     (64K bytes gzipped tar file).</a></li>
 </ul>

diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz
new file mode 100644 (file)
index 0000000..b8fb9b5
Binary files /dev/null and b/manual/xboard.dvi.gz differ

diff --git a/manual/xboard.html.gz b/manual/xboard.html.gz
index 54e4362..89c4420 100644 (file)
Binary files a/manual/xboard.html.gz and b/manual/xboard.html.gz differ

diff --git a/manual/xboard.html_node.tar.gz b/manual/xboard.html_node.tar.gz
index 5536574..316e1c1 100644 (file)
Binary files a/manual/xboard.html_node.tar.gz and b/manual/xboard.html_node.tar.gz differ

diff --git a/manual/xboard.info.tar.gz b/manual/xboard.info.tar.gz
index c503dde..3af6295 100644 (file)
Binary files a/manual/xboard.info.tar.gz and b/manual/xboard.info.tar.gz differ

diff --git a/manual/xboard.pdf b/manual/xboard.pdf
new file mode 100644 (file)
index 0000000..4a51912
Binary files /dev/null and b/manual/xboard.pdf differ

diff --git a/manual/xboard.ps.gz b/manual/xboard.ps.gz
new file mode 100644 (file)
index 0000000..6fbb70a
Binary files /dev/null and b/manual/xboard.ps.gz differ

diff --git a/manual/xboard.texi.tar.gz b/manual/xboard.texi.tar.gz
index 9ce6d94..9d26a08 100644 (file)
Binary files a/manual/xboard.texi.tar.gz and b/manual/xboard.texi.tar.gz differ

diff --git a/manual/xboard.txt.gz b/manual/xboard.txt.gz
index db36a13..6121a2d 100644 (file)
Binary files a/manual/xboard.txt.gz and b/manual/xboard.txt.gz differ