New tool `xrepaint'.

[xtoys] / debian / xtoys.install

diff --git a/debian/xtoys.install b/debian/xtoys.install
index 595c141..445435a 100644 (file)
--- a/debian/xtoys.install
+++ b/debian/xtoys.install
@@ -2,3 +2,5 @@ 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