@c $Id$ -*- texinfo -*-
@c DDD name and version number
@c @configure_input@

@c Copyright (C) 1998 Technische Universitaet Braunschweig, Germany.
@c Written by Andreas Zeller <zeller@gnu.org>.
@c 
@c This file is part of DDD.
@c 
@c DDD is free software; you can redistribute it and/or
@c modify it under the terms of the GNU General Public
@c License as published by the Free Software Foundation; either
@c version 3 of the License, or (at your option) any later version.
@c 
@c DDD is distributed in the hope that it will be useful,
@c but WITHOUT ANY WARRANTY; without even the implied warranty of
@c MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
@c See the GNU General Public License for more details.
@c 
@c You should have received a copy of the GNU General Public
@c License along with DDD -- see the file COPYING.
@c If not, see <http://www.gnu.org/licenses/>.
@c 
@c DDD is the data display debugger.
@c For details, see the DDD World-Wide-Web page, 
@c `http://www.gnu.org/software/ddd/',
@c or send a mail to the DDD developers <ddd@gnu.org>.

@c The product name.
@set ddd @ddd@
@set Ddd @Ddd@
@set DDD @DDD@

@c The DDD version.
@set VERSION @VERSION@

@c The DDD nickname.
@set NICKNAME @NICKNAME@
