documentation update

[ginac.git] / debian / dirs

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