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=c3bd40aed34b4ee7de30257cb5e036f50e7821a5;hb=40d2f5d1ddacf71991adb447b163a19136ee2179;hpb=ab6bd00e2a10801a50efa5be5a88b4c99b0af30a

diff --git a/debian/libginac-dev.install b/debian/libginac-dev.install
index c3bd40ae..6e00e3a2 100644
--- a/debian/libginac-dev.install
+++ b/debian/libginac-dev.install
@@ -3,4 +3,4 @@ debian/tmp/usr/lib/libginac.a
 debian/tmp/usr/lib/libginac.so
 debian/tmp/usr/include/ginac/*
 debian/tmp/usr/lib/pkgconfig/ginac.pc
-debian/tmp/usr/share/info/ginac*
+debian/tmp/usr/share/info/ginac.info*