diff --git a/ginac.spec b/ginac.spec
index 9ca2e04..1f2bf30 100644
--- a/ginac.spec
+++ b/ginac.spec
@@ -81,16 +81,6 @@ done
 %check
 make check
 
-%post devel
-install-info --info-dir=%{_infodir} %{_infodir}/ginac.info.gz 2>/dev/null || :
-install-info --info-dir=%{_infodir} %{_infodir}/ginac-examples.info.gz 2>/dev/null || :
-
-%preun devel
-if [ "$1" = 0 ]; then
-    install-info --delete --info-dir=%{_infodir} %{_infodir}/ginac.info.gz 2>/dev/null
-    install-info --delete --info-dir=%{_infodir} %{_infodir}/ginac-examples.info.gz 2>/dev/null || :
-fi
-
 %files
 %license COPYING
 %{_libdir}/*.so.%{so_ver}