refman: switch all source files to utf8

 Putting utf8 everywhere helps the maintainance of the online refman.
 And anyway, this is the way to go. We should also chase and migrate
 the few remaining iso-latin-1 files elsewhere in the sources.

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex
index 51aba95707..6eca9fc4c2 100644
--- a/doc/refman/RefMan-ext.tex
+++ b/doc/refman/RefMan-ext.tex
@@ -918,7 +918,7 @@ section is closed.
 %However, a name already used in a closed section (see \ref{Section})
 %can be reused. In this case, the old name is no longer accessible.
 
-% Obsolète
+% Obsolète
 %\item A module implicitly open a section. Be careful not to name a
 %module with an identifier already used in the module (see \ref{compiled}).
 \end{Remarks}