--- ddd/ddd.texi.orig	2009-02-11 17:25:07 +0000
+++ 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 @@
 @c The title page.
 @ifnothtml
 @titlepage
-@sp -7
+@sp 7
 @ifnottex
 @title Debugging with @value{DDD}
 @subtitle User's Guide and Reference Manual
--- ddd/ddd-themes.texi.orig	2009-02-11 17:25:07 +0000
+++ 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 @@
 @c The title page.
 @ifnothtml
 @titlepage
-@sp -7
+@sp 7
 @ifnottex
 @title Writing @value{DDD} Themes
 @subtitle User's Guide and Reference Manual