Fixed most bugs with building Debian packages.
[ginac.git] / debian / ginac-doc.files