blob: a0672798eb0a0b6db99854e2d926891c8cc174f9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
--- 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
|
