small change for Red Hat 8.0

diff --git a/GiNaC.spec.in b/GiNaC.spec.in
index f3048e6c7a4f6d3321822dae9834dbe134f7bac7..e3aafb746cda81bfc2c7ec64ead199f2d8e30b7b 100644 (file)
--- a/GiNaC.spec.in
+++ b/GiNaC.spec.in
@@ -70,6 +70,7 @@ make
 rm -rf ${RPM_BUILD_ROOT}
 make DESTDIR=${RPM_BUILD_ROOT} install
 gzip -9nf ${RPM_BUILD_ROOT}%{_infodir}/ginac.info*
+rm ${RPM_BUILD_ROOT}%{_infodir}/dir
 
 %clean
 rm -rf ${RPM_BUILD_ROOT}