documentation update

[ginac.git] / debian / ginac-tools.files

diff --git a/debian/ginac-tools.files b/debian/ginac-tools.files
index 503be88742e8156bcdb2a6396f0e7cda4da68c47..22848c0070681e0d283fd493b3d969e7d224e367 100644 (file)
--- a/debian/ginac-tools.files
+++ b/debian/ginac-tools.files
@@ -2,3 +2,4 @@ usr/bin/ginsh
 usr/bin/viewgar
 usr/share/man/man1/ginsh*
 usr/share/man/man1/viewgar*
+usr/X11R6/include/X11/pixmaps/ginac.xpm