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=2434f1642f8c07b6981e617773276c0e57532600;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