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=56311ee6a9b5eca6470b3924f738a6b642750b9c;hpb=312b062f7f49207a16776c19d3a1bfb4a49c2f3b

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