X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;ds=sidebyside;f=debian%2Fdirs;h=68457717bd8efb8ba6291fca9d862dd5eb0d3b1e;hb=5395ddfcf70e885d397f5629bc10d2149ca2d992;hp=1e1c0088ab1646b1fc72e1673faecd86ab6af4e4;hpb=312b062f7f49207a16776c19d3a1bfb4a49c2f3b;p=ginac.git

diff --git a/debian/dirs b/debian/dirs
index 1e1c0088..68457717 100644
--- a/debian/dirs
+++ b/debian/dirs
@@ -1,3 +1 @@
 usr/lib
-usr/include/ginac
-usr/share/man/man1