\def\postscript{}\input texinfo @c -*- texinfo -*-
\input texinfo @c -*- texinfo -*-
@tex
\def\postscript{}
@end tex
@c $Id$
@c DDD Manual
@c The title page.
@ifnothtml
@titlepage
@sp -7
@sp 7
@ifnottex
@title Debugging with @value{DDD}
@subtitle User's Guide and Reference Manual