* As agreed upon at lunch, remove debugmsg since it is hardly of any use.

[ginac.git] / debian / dirs

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