diff --git a/dejagnu.spec b/dejagnu.spec
index 9e02440..a9abb09 100644
--- a/dejagnu.spec
+++ b/dejagnu.spec
@@ -50,16 +50,6 @@ chmod a-x $RPM_BUILD_ROOT/%{_datadir}/dejagnu/runtest.exp
 make DESTDIR=$RPM_BUILD_ROOT install-man
 install -D -m 644 doc/dejagnu.info $RPM_BUILD_ROOT/%{_infodir}/%{name}.info
 
-%post
-/sbin/install-info %{_infodir}/%{name}.info.gz --dir-file=%{_infodir}/dir &> /dev/null
-:
-
-%preun
-if [ $1 = 0 ]; then
-    /sbin/install-info --delete %{_infodir}/%{name}.info %{_infodir}/dir &> /dev/null
-fi
-:
-
 %files
 %doc COPYING NEWS README AUTHORS ChangeLog doc/dejagnu.texi
 %{_bindir}/runtest