New tool `xrepaint'.

[xtoys] / debian / xtoys.install

diff --git a/debian/xtoys.install b/debian/xtoys.install
index 8c49cf3..445435a 100644 (file)
--- a/debian/xtoys.install
+++ b/debian/xtoys.install
@@ -1,2 +1,6 @@
+debian/tmp/usr/bin/xatom
+debian/tmp/usr/share/man/man1/xatom.1
 debian/tmp/usr/bin/xscsize
 debian/tmp/usr/share/man/man1/xscsize.1
+debian/tmp/usr/bin/xrepaint
+debian/tmp/usr/share/man/man1/xrepaint.1