X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Fdirs;h=68457717bd8efb8ba6291fca9d862dd5eb0d3b1e;hp=6554f708a29e3dfe2f902857fd13a68e572196af;hb=62be07ab219f58a45bfe40f49f1e45bfb9a60bb4;hpb=1b01817e5fa898ea7030097ab39fee36e6f10f6c

diff --git a/debian/dirs b/debian/dirs
index 6554f708..68457717 100644
--- a/debian/dirs
+++ b/debian/dirs
@@ -1,3 +1 @@
 usr/lib
-usr/include
-usr/share/man/man3