From 8f40fd41f49a244f3f1e95ff15af33339e190ce5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 27 Apr 2012 09:14:17 +0200 Subject: [PATCH] Replace the "encoding: utf-8" by "coding: utf-8" comments. * Makefile.am, src/ltlast/formula.cc, src/ltlast/formula.hh, src/tgba/tgbaexplicit.hh, wrap/python/ajax/Makefile.am, wrap/python/spot.i: Here. * HACKING: Document -*- coding: utf-8 -*-. --- HACKING | 2 ++ Makefile.am | 2 +- src/ltlast/formula.cc | 2 +- src/ltlast/formula.hh | 2 +- src/tgba/tgbaexplicit.hh | 2 +- wrap/python/ajax/Makefile.am | 2 +- wrap/python/spot.i | 2 +- 7 files changed, 8 insertions(+), 6 deletions(-) diff --git a/HACKING b/HACKING index 34d0ff7ba..3a5aac2b2 100644 --- a/HACKING +++ b/HACKING @@ -189,6 +189,8 @@ Encoding * If you edit files encoded in Latin-1 (the original default encoding for the project), feel free to convert them to UTF-8. + In emacs the simplest way to convert the file is to add a comment + with -*- coding: utf-8 -*- at the top or bottom of the file. Comments -------- diff --git a/Makefile.am b/Makefile.am index 66de564a1..664552a33 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,4 +1,4 @@ -## -*- encoding: utf-8 -*- +## -*- coding: utf-8 -*- ## Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement ## de l'Epita (LRDE). ## Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), diff --git a/src/ltlast/formula.cc b/src/ltlast/formula.cc index aa9e91b86..586a9cc16 100644 --- a/src/ltlast/formula.cc +++ b/src/ltlast/formula.cc @@ -1,4 +1,4 @@ -// -*- encoding: utf-8 -*- +// -*- coding: utf-8 -*- // Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et // Développement de l'Epita (LRDE). // Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), diff --git a/src/ltlast/formula.hh b/src/ltlast/formula.hh index 5773f2a8b..85ed57905 100644 --- a/src/ltlast/formula.hh +++ b/src/ltlast/formula.hh @@ -1,4 +1,4 @@ -// -*- encoding: utf-8 -*- +// -*- coding: utf-8 -*- // Copyright (C) 2008, 2009, 2010, 2011, 2012 Laboratoire de Recherche // et Développement de l'Epita (LRDE). // Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh index bffb5c718..c3a3b95be 100644 --- a/src/tgba/tgbaexplicit.hh +++ b/src/tgba/tgbaexplicit.hh @@ -1,4 +1,4 @@ -// -*- encoding: utf-8 -*- +// -*- coding: utf-8 -*- // Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et // Développement de l'Epita. // Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris diff --git a/wrap/python/ajax/Makefile.am b/wrap/python/ajax/Makefile.am index c176b16be..8b6aaa8b8 100644 --- a/wrap/python/ajax/Makefile.am +++ b/wrap/python/ajax/Makefile.am @@ -1,4 +1,4 @@ -## -*- encoding: utf-8 -*- +## -*- coding: utf-8 -*- ## Copyright (C) 2011, 2012 Laboratoire d'Informatique de Paris 6 ## (LIP6), département Systèmes Répartis Coopératifs (SRC), Université ## Pierre et Marie Curie. diff --git a/wrap/python/spot.i b/wrap/python/spot.i index c6cd9c18c..04df12d10 100644 --- a/wrap/python/spot.i +++ b/wrap/python/spot.i @@ -1,4 +1,4 @@ -// -*- encoding: utf-8 -*- +// -*- coding: utf-8 -*- // Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche // et Développement de l'Epita (LRDE). // Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique