Module: ppl/ppl Branch: master Commit: 6d8e6c803c26f9cc36b45996491278bbb6e3f14d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d8e6c803c26f...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 28 07:44:36 2012 +0200

Redundant script removed.

---

devtools/generate_dox_ci_prolog_manual | 28 ---------------------------- 1 files changed, 0 insertions(+), 28 deletions(-)

diff --git a/devtools/generate_dox_ci_prolog_manual b/devtools/generate_dox_ci_prolog_manual deleted file mode 100755 index 4e0fb21..0000000 --- a/devtools/generate_dox_ci_prolog_manual +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/sh -# Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is part of the Parma Polyhedra Library (PPL). -# -# The PPL is free software; you can redistribute it and/or modify it -# under the terms of the GNU General Public License as published by the -# Free Software Foundation; either version 3 of the License, or (at your -# option) any later version. -# -# The PPL is distributed in the hope that it will be useful, but WITHOUT -# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or -# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -# for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software Foundation, -# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. -# -# For the most up-to-date information see the Parma Polyhedra Library -# site: http://bugseng.com/products/ppl/ . - -m4 --prefix-builtin -I../../interfaces -I../../interfaces/Prolog \ - --define=m4_configuration_independent \ - ../../interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 \ - > Prolog_interface_blob -mv -f Prolog_interface_blob Prolog_interface.dox