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