diff --git a/doc/manual_es.html b/doc/manual_es.html index 9d08b43..a77ebc0 100755 --- a/doc/manual_es.html +++ b/doc/manual_es.html @@ -1,7 +1,7 @@