Commit e8106da1 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[headers] remove unused headers

parent f11a9938
This file is part of Frama-C.
Copyright (C) 2007-2012
INRIA (Institut National de Recherche en Informatique et en
Automatique)
you can redistribute it and/or modify it under the terms of the GNU
Lesser General Public License as published by the Free Software
Foundation, version 2.1.
It 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 Lesser General Public License for more details.
See the GNU Lesser General Public License version 2.1
for more details (enclosed in the file licenses/LGPLv2.1).
This file is part of Frama-C.
Copyright (C) 2007-2012
INSA (Institut National des Sciences Appliquees)
INRIA (Institut National de Recherche en Informatique et en
Automatique)
you can redistribute it and/or modify it under the terms of the GNU
Lesser General Public License as published by the Free Software
Foundation, version 2.1.
It 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 Lesser General Public License for more details.
See the GNU Lesser General Public License version 2.1
for more details (enclosed in the file licenses/LGPLv2.1).
This file is part of Frama-C.
Copyright (C) 2007-2012
INRIA (Institut National de Recherche en Informatique et en
Automatique)
you can redistribute it and/or modify it under the terms of the GNU
Lesser General Public License as published by the Free Software
Foundation, version 2.1.
It 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 Lesser General Public License for more details.
See the GNU Lesser General Public License version 2.1
for more details (enclosed in the file licenses/LGPLv2.1).
This file is part of Frama-C.
Copyright (C) 2007-2012
INSA (Institut National des Sciences Appliquees)
INRIA (Institut National de Recherche en Informatique et en
Automatique)
you can redistribute it and/or modify it under the terms of the GNU
Lesser General Public License as published by the Free Software
Foundation, version 2.1.
It 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 Lesser General Public License for more details.
See the GNU Lesser General Public License version 2.1
for more details (enclosed in the file licenses/LGPLv2.1).
......@@ -24,6 +24,9 @@ MakeDoc header_spec=CEA_WP
# HEADER_SPEC: others #
#######################
# If these files are removed, do not forget to remove corresponding header
# files in 'headers' since they are only used here.
/doc/coqdoc/coq2tex/*.mll header_spec=XL_COMPCERT
/share/coqwp/BuiltIn.v header_spec=UNMODIFIED_WHY3
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment