@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
Summary(zh_CN.UTF-8): 图形化的程序调试器前端;如GDB,DBX,Ladebug,JDB,Perl,Python
Name: ddd
Version: 3.3.12
-Release: 11
+Release: 12
Epoch: 1
License: GPL
Group: Development/Debuggers