Add missing headers

src/plugins/e-acsl/Makefile.in

@@ -322,7 +322,7 @@ e-acsl-distrib-check:
 ##########
 
 EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac share/e-acsl/*.[ch] \
-  share/e-acsl/*/*.[ch] scripts/*.sh
+  share/e-acsl/*/*.[ch] scripts/*.sh tests/print.ml man/e-acsl-gcc.sh.1
 EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE))
 
 EACSL_SPARETIMELABS=$(EACSL_PLUGIN_DIR)/share/e-acsl/e_acsl_printf.h

src/plugins/e-acsl/man/e-acsl-gcc.sh.1

-.\"
-.\"
-.\"  This file is part of Frama-C.
-.\"
-.\"  Copyright (C) 2007-2015
-.\"    CEA (Commissariat à l'énergie atomique et aux énergies
-.\"         alternatives)
-.\"
-.\"  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-2017                                               
+.\"    CEA (Commissariat à l'énergie atomique et aux énergies              
+.\"         alternatives)                                                  
+.\"                                                                        
+.\"  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).            
+.\"                                                                        
+.\"                                                                        
 
 .TH E-ACSL-GCC.SH 1 2016-02-02
 

src/plugins/e-acsl/tests/print.ml

+(**************************************************************************)
+(*                                                                        *)
+(*  This file is part of Frama-C.                                         *)
+(*                                                                        *)
+(*  Copyright (C) 2007-2017                                               *)
+(*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
+(*         alternatives)                                                  *)
+(*                                                                        *)
+(*  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).            *)
+(*                                                                        *)
+(**************************************************************************)
+
 module Printer_extension(X:Printer.PrinterClass) = struct
 
   class printer = object