X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Fdirs;h=68457717bd8efb8ba6291fca9d862dd5eb0d3b1e;hp=1e1c0088ab1646b1fc72e1673faecd86ab6af4e4;hb=550f941378f0ef36e7a7c3e5a5f8f7eaa93f60b5;hpb=c359f10c53b7338b6f883f661697cb630cc5ab4a

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