diff -r 6688cf392e61 -r cf5213c8a919 os/debian/docs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/os/debian/docs	Sat Sep 18 16:29:12 2004 +0000
@@ -0,0 +1,4 @@
+changelog.txt
+readme.txt
+docs/Manual.txt
+docs/multiplayer.txt