Fixed some minor spelling errors.
[ginac.git] / debian / libginac-dev.install
index c3bd40aed34b4ee7de30257cb5e036f50e7821a5..6e00e3a2a7a9a88be1a7cbfaceb6a0e871a24050 100644 (file)
@@ -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*