* Packaging update.
[ginac.git] / debian / dirs
index 6554f708a29e3dfe2f902857fd13a68e572196af..68457717bd8efb8ba6291fca9d862dd5eb0d3b1e 100644 (file)
@@ -1,3 +1 @@
 usr/lib
-usr/include
-usr/share/man/man3