X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Flibginac-dev.install;h=6e00e3a2a7a9a88be1a7cbfaceb6a0e871a24050;hp=19a09d275cf541586e8e6109536e6cd77517b29f;hb=55fcb39a1209898ec43694f7e25ffb4572b0c4d1;hpb=ad133facc01a8b093d83cc0c28e5b97da80b91ba

diff --git a/debian/libginac-dev.install b/debian/libginac-dev.install
index 19a09d27..6e00e3a2 100644
--- a/debian/libginac-dev.install
+++ b/debian/libginac-dev.install
@@ -2,8 +2,5 @@ debian/tmp/usr/lib/libginac.la
 debian/tmp/usr/lib/libginac.a
 debian/tmp/usr/lib/libginac.so
 debian/tmp/usr/include/ginac/*
-debian/tmp/usr/bin/ginac-config
-debian/tmp/usr/share/aclocal/ginac.m4
 debian/tmp/usr/lib/pkgconfig/ginac.pc
-debian/tmp/usr/share/info/ginac*
-debian/tmp/usr/share/man/man1/ginac-config*
+debian/tmp/usr/share/info/ginac.info*