]> www.ginac.de Git - ginac.git/blobdiff - debian/libginac-dev.install
Added missing example source.
[ginac.git] / debian / libginac-dev.install
index 19a09d275cf541586e8e6109536e6cd77517b29f..c3bd40aed34b4ee7de30257cb5e036f50e7821a5 100644 (file)
@@ -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*