Skip to content

Commit

Permalink
Update headers and COPYING (#144)
Browse files Browse the repository at this point in the history 
This PR:

- Moves `headache` and its files around. They don't need to be in `src/`
as they aren't really sources, and `src/.headache.conf` is included in
`headache`'s default configuration so it can go. This change also fixes
a bug in which `make headers` would only affect files directly in `src/`
and not deeper.

- Updates both `.header` and `COPYING` to account for a copyright up to
2023 (instead of 2021 previously).

- Runs `headache` (via `make headers`) on all source files.
  • Loading branch information
@Niols
Niols authored Apr 14, 2023
1 parent 1b08442 commit 6cdd5b1
Show file tree
Hide file tree
Showing 49 changed files with 52 additions and 142 deletions.
4 changes: 1 addition & 3 deletions src/.header → .header
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,4 @@
-*- tuareg -*-

Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod,
Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod,
Ralf Treinen.

This is free software: you can redistribute it and/or modify it
Expand Down
2 changes: 1 addition & 1 deletion COPYING
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
License and copyright information for morbig
============================================

Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen.
Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen.

Morbig is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License, version 3. The
Expand Down
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -64,4 +64,4 @@ publish-docker-image: docker-image
docker image push colisanr/morbig:latest

headers:
cd src && headache -c .headache.conf -h .header *.ml *.ml[ily]
headache -h .header $(shell find src/ -regex '.*\.ml[ily]?')
2 changes: 0 additions & 2 deletions src/.headache.conf
View file

This file was deleted.

4 changes: 1 addition & 3 deletions src/API.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/API.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/CST.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/CSTHelpers.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/CSTHelpers.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/CSTSerializers.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/CST_derivings_generator.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/ExtMenhirLib.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
5 changes: 2 additions & 3 deletions src/REBracketExpressionLexer.mll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
(** -*- tuareg -*- ********************************************************)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(**************************************************************************)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
5 changes: 2 additions & 3 deletions src/REBracketExpressionParser.mly
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
/** -*- tuareg -*- *******************************************************/
/* */
/* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, */
/**************************************************************************/
/* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, */
/* Ralf Treinen. */
/* */
/* This is free software: you can redistribute it and/or modify it */
Expand Down
4 changes: 1 addition & 3 deletions src/aliases.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/aliases.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/assignment.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/c/CAPI.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/c/cstub.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/debug.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/engine.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/errors.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/errors.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/extPervasives.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/hereDocument.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/hereDocument.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/jsonHelpers.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/jsonHelpers.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/keyword.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/morbig.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/morbigDriver.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/name.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/nesting.ml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
4 changes: 1 addition & 3 deletions src/nesting.mli
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
(**************************************************************************)
(* -*- tuareg -*- *)
(* *)
(* Copyright (C) 2017-2021 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Copyright (C) 2017-2023 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
Expand Down
Loading

0 comments on commit 6cdd5b1

Please sign in to comment.