X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Fdirs;h=1e1c0088ab1646b1fc72e1673faecd86ab6af4e4;hp=6554f708a29e3dfe2f902857fd13a68e572196af;hb=e5362a33f72613b324b3714524a8c2e5f7b7f46f;hpb=1b01817e5fa898ea7030097ab39fee36e6f10f6c

diff --git a/debian/dirs b/debian/dirs
index 6554f708..1e1c0088 100644
--- a/debian/dirs
+++ b/debian/dirs
@@ -1,3 +1,3 @@
 usr/lib
-usr/include
-usr/share/man/man3
+usr/include/ginac
+usr/share/man/man1