New tool `xrepaint'.

[xtoys] / debian / xtoys.install

diff --git a/debian/xtoys.install b/debian/xtoys.install
index 595c1412a3ccad42c5cebf1153b1f1195291518a..445435a838f5599497f676918558f1ecbdf87979 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