initialize print_context registry on startup
[ginac.git] / debian / libginac-dev.files
index 619558f7c6753e2bd0cfeffc071b1c00e0fc3dbb..1681d94387a960fc3dc1013cec08d0710d594258 100644 (file)
@@ -4,5 +4,5 @@ usr/lib/libginac.so
 usr/include/ginac
 usr/bin/ginac-config
 usr/share/man/man1/ginac-config*
-usr/share/info
+usr/share/info/ginac*
 usr/share/aclocal/ginac.m4