Skip to content

GitLab

Commit 56c6e64b authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files
Options

update the headers

parent f680c6ad
Hide whitespace changes
Inline Side-by-side
Showing with 5 additions and 3 deletions
Makefile.in
View file @ 56c6e64b
####################################################################
# #
# The Why3 Verification Platform / The Why3 Development Team #
# Copyright 2010-2012 -- INRIA - CNRS - Paris-Sud University #
# Copyright 2010-2013 -- INRIA - CNRS - Paris-Sud University #
# #
# This software is distributed under the terms of the GNU Lesser #
# General Public License version 2.1, with the special exception #
......@@ -1552,7 +1552,8 @@ $(DISTRIB_TAR): doc/manual.pdf
headers:
headache -c misc/headache_config.txt -h misc/header.txt \
Makefile.in configure.in src/*.ml* src/*/*.ml* \
plugins/*/*.ml* src/tools/cpulimit.c
plugins/*/*.ml* src/tools/cpulimit.c \
examples/use_api/*.ml*
#########
# myself
......
misc/headache_config.txt
View file @ 56c6e64b
# no header
| "META.in" -> no
| "extmap.ml[i]?" -> no
| "literals.mll" -> no
# Objective Caml source
| ".*\\.ml[il4]?" -> frame width:62 open:"(*" line:"*" close:"*)"
| ".*\\.ml[il4]?\\.in" -> frame width:62 open:"(*" line:"*" close:"*)"
......
misc/header.txt
View file @ 56c6e64b
The Why3 Verification Platform / The Why3 Development Team
Copyright 2010-2012 -- INRIA - CNRS - Paris-Sud University
Copyright 2010-2013 -- INRIA - CNRS - Paris-Sud University
This software is distributed under the terms of the GNU Lesser
General Public License version 2.1, with the special exception
......
Markdown is supported
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