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=550f941378f0ef36e7a7c3e5a5f8f7eaa93f60b5;hpb=312b062f7f49207a16776c19d3a1bfb4a49c2f3b;ds=sidebyside

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