New tool `xrepaint'.

[xtoys] / debian / xtoys.install

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