File ddd-texinfo-5.0.patch of Package ddd

Index: ddd-3.3.12/ddd/ddd-themes.texi
===================================================================
--- ddd-3.3.12.orig/ddd/ddd-themes.texi
+++ ddd-3.3.12/ddd/ddd-themes.texi
@@ -1,4 +1,4 @@
-\def\postscript{}\input texinfo @c -*- texinfo -*-
+\def\postscript\input texinfo @c -*- texinfo -*-
 @c $Id$
 @c Writing DDD Themes
 
@@ -136,7 +136,7 @@ Send bug reports to @email{bug-ddd@@gnu.
 @c The title page.
 @ifnothtml
 @titlepage
-@sp -7
+@sp 7
 @ifnottex
 @title Writing @value{DDD} Themes
 @subtitle User's Guide and Reference Manual
Index: ddd-3.3.12/ddd/ddd.texi
===================================================================
--- ddd-3.3.12.orig/ddd/ddd.texi
+++ ddd-3.3.12/ddd/ddd.texi
@@ -1,4 +1,4 @@
-\def\postscript{}\input texinfo @c -*- texinfo -*-
+\def\postscript\input texinfo @c -*- texinfo -*-
 @c $Id$
 @c DDD Manual
 
@@ -154,7 +154,7 @@ to the developers' mailing list @email{b
 @c The title page.
 @ifnothtml
 @titlepage
-@sp -7
+@sp 7
 @ifnottex
 @title Debugging with @value{DDD}
 @subtitle User's Guide and Reference Manual