* AUTHORS, * Makefile.am, * NEWS, * README, * TODO, * configure.ac, * doc/Makefile.am, * src/Makefile.am, * tests/cmp.test, * tests/defs.in, * tests/nestedseq.test, * tests/overflow.test, * tests/trace.test: Here. --- AUTHORS | 20 +++++++++++--------- ChangeLog | 20 +++++++++++--------- Makefile.am | 20 +++++++++++--------- NEWS | 20 +++++++++++--------- README | 20 +++++++++++--------- TODO | 20 +++++++++++--------- configure.ac | 20 +++++++++++--------- doc/Makefile.am | 30 ++++++++++++++++-------------- src/Makefile.am | 20 +++++++++++--------- tests/cmp.test | 12 +++++------- tests/defs.in | 12 +++++------- tests/nestedseq.test | 12 +++++------- tests/overflow.test | 12 +++++------- tests/trace.test | 12 +++++------- 14 files changed, 129 insertions(+), 121 deletions(-) diff --git a/AUTHORS b/AUTHORS index 2b88f49..c0ef54e 100644 --- a/AUTHORS +++ b/AUTHORS @@ -11,15 +11,17 @@ Copyright (C) 2002-2003 Robert Anisko Copyright (C) 2003-2007, 2009, 2011-2013 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program 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. +HAVM 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 2 of the License, or +(at your option) any later version. + +HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/ChangeLog b/ChangeLog index febbd1e..c8bc312 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1204,15 +1204,17 @@ Copyright (C) 2002-2003 Robert Anisko Copyright (C) 2003-2007, 2009, 2011-2013 Laboratoire de Recherche et Développement de l'EPITA -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program 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. +HAVM 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 2 of the License, or +(at your option) any later version. + +HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/Makefile.am b/Makefile.am index 0001ad1..6f6ee30 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2,18 +2,20 @@ # Copyright (C) 2003-2006, 2013 EPITA Research and Development # Laboratory (LRDE) # -# This file is part of HAVM. This program is free software; you can -# redistribute it and/or modify it under the terms of the GNU General -# Public License version 2 as published by the Free Software -# Foundation. +# This file is part of HAVM. # -# This program 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. +# HAVM 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 2 of the License, or +# (at your option) any later version. +# +# HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. ACLOCAL_AMFLAGS = -I build-aux diff --git a/NEWS b/NEWS index 7b65752..2d84d88 100644 --- a/NEWS +++ b/NEWS @@ -135,18 +135,20 @@ FIXME: Complete from ChangeLog. Copyright (C) 2003-2006, 2012 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program 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. +HAVM 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 2 of the License, or +(at your option) any later version. + +HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. Local Variables: diff --git a/README b/README index 0b7e56c..56d55d0 100644 --- a/README +++ b/README @@ -20,15 +20,17 @@ Its features are: Copyright (C) 2003, 2005 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program 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. +HAVM 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 2 of the License, or +(at your option) any later version. + +HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/TODO b/TODO index 7c55633..5ad6835 100644 --- a/TODO +++ b/TODO @@ -43,15 +43,17 @@ Fail: no such temp: "t0" Copyright (C) 2003, 2005 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program 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. +HAVM 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 2 of the License, or +(at your option) any later version. + +HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/configure.ac b/configure.ac index 1775e6f..b79cdd5 100644 --- a/configure.ac +++ b/configure.ac @@ -2,18 +2,20 @@ # Copyright (C) 2003-2007, 2012-2013 EPITA Research and Development # Laboratory (LRDE) # -# This file is part of HAVM. This program is free software; you can -# redistribute it and/or modify it under the terms of the GNU General -# Public License version 2 as published by the Free Software -# Foundation. +# This file is part of HAVM. # -# This program 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. +# HAVM 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 2 of the License, or +# (at your option) any later version. +# +# HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. # Catch "HAVM_*" macros that are not expanded. m4_pattern_forbid([^HAVM_]) diff --git a/doc/Makefile.am b/doc/Makefile.am index 13af4a6..8f7a632 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,18 +1,20 @@ -## Copyright (C) 2003, 2005, 2013, 2014 EPITA Research and Development -## Laboratory (LRDE) +# Copyright (C) 2003, 2005, 2013, 2014 EPITA Research and Development +# Laboratory (LRDE) -## This file is part of HAVM. This program is free software; you can -## redistribute it and/or modify it under the terms of the GNU General -## Public License version 2 as published by the Free Software -## Foundation. - -## This program 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +# This file is part of HAVM. +# +# HAVM 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 2 of the License, or +# (at your option) any later version. +# +# HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>. AM_MAKEINFOFLAGS = --no-split TEXI2DVI = texi2dvi --batch diff --git a/src/Makefile.am b/src/Makefile.am index dd233ac..0542942 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -2,18 +2,20 @@ # Copyright (C) 2003-2005, 2007, 2009, 2012 EPITA Research and Development # Laboratory (LRDE) # -# This file is part of HAVM. This program is free software; you can -# redistribute it and/or modify it under the terms of the GNU General -# Public License version 2 as published by the Free Software -# Foundation. +# This file is part of HAVM. # -# This program 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. +# HAVM 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 2 of the License, or +# (at your option) any later version. +# +# HAVM 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 HAVM. If not, see <http://www.gnu.org/licenses/>.. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. SUFFIXES = .hs .y .hc diff --git a/tests/cmp.test b/tests/cmp.test index 55d1015..d258f2c 100755 --- a/tests/cmp.test +++ b/tests/cmp.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM 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 2, or (at your option) -# any later version. +# HAVM 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 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 diff --git a/tests/defs.in b/tests/defs.in index fc647c2..f37170a 100644 --- a/tests/defs.in +++ b/tests/defs.in @@ -5,10 +5,10 @@ # # This file is part of HAVM. # -# HAVM 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 2, or (at your option) -# any later version. +# HAVM 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 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -16,9 +16,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with autoconf; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. # Be Bourne compatible. # (Snippet copied from configure's initialization in Autoconf 2.57.) diff --git a/tests/nestedseq.test b/tests/nestedseq.test index ba105b8..25bfba7 100755 --- a/tests/nestedseq.test +++ b/tests/nestedseq.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM 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 2, or (at your option) -# any later version. +# HAVM 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 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 diff --git a/tests/overflow.test b/tests/overflow.test index 9904ac7..160b642 100755 --- a/tests/overflow.test +++ b/tests/overflow.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM 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 2, or (at your option) -# any later version. +# HAVM 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 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 diff --git a/tests/trace.test b/tests/trace.test index 2a65cfa..8ab1a90 100755 --- a/tests/trace.test +++ b/tests/trace.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM 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 2, or (at your option) -# any later version. +# HAVM 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 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 -- 1.7.10.4