X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Fginac-dev.files;h=066df4b0efdd844a8d05e6517117514ce2f90c42;hp=898ea2e0e5a3afbd4fd55f5457fd6de093b81acb;hb=670a4e51f43eeea6a8c328f103aea61fbe0b27a1;hpb=a77d28203c3ec483e6612c5df3caf5ea6924dfdd

diff --git a/debian/ginac-dev.files b/debian/ginac-dev.files
index 898ea2e0..066df4b0 100644
--- a/debian/ginac-dev.files
+++ b/debian/ginac-dev.files
@@ -4,3 +4,4 @@ usr/lib/libginac.so
 usr/include/ginac
 usr/bin/ginac-config
 usr/share/man/man1/ginac-config*
+usr/share/info