- rel 12; build fixed

[packages/ddd.git] / ddd-info.patch

diff -urN ddd-3.3.7.orig/ddd/ddd.texi ddd-3.3.7/ddd/ddd.texi
--- ddd-3.3.7.orig/ddd/ddd.texi	2003-05-24 17:27:08.000000000 +0200
+++ ddd-3.3.7/ddd/ddd.texi	2003-08-26 18:49:03.000000000 +0200
@@ -96,9 +96,9 @@
 @finalout
 
 @c Info Dir settings
-@dircategory Programming & development tools.
+@dircategory Programming tools:
 @direntry
-* DDD: (ddd).                     The Data Display Debugger.
+* DDD: (ddd).				The Data Display Debugger
 @end direntry
 @c %**end of header
 
diff -urN ddd-3.3.7.orig/ddd/ddd-themes.texi ddd-3.3.7/ddd/ddd-themes.texi
--- ddd-3.3.7.orig/ddd/ddd-themes.texi	2003-05-24 17:27:06.000000000 +0200
+++ ddd-3.3.7/ddd/ddd-themes.texi	2003-08-26 18:48:25.000000000 +0200
@@ -83,9 +83,9 @@
 @finalout
 
 @c Info Dir settings
-@dircategory Programming & development tools.
+@dircategory Programming tools:
 @direntry
-* DDD-Themes: (ddd-themes).       Writing DDD Themes.
+* DDD-Themes: (ddd-themes).		Writing DDD Themes
 @end direntry
 @c %**end of header
 
--- a/ddd/ddd.texi.orig	2009-02-11 17:25:07 +0000
+++ b/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
--- a/ddd/ddd-themes.texi.orig	2009-02-11 17:25:07 +0000
+++ b/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