diff --git a/doc/manual_es.html b/doc/manual_es.html index 57b514c..3eaf3a8 100755 --- a/doc/manual_es.html +++ b/doc/manual_es.html @@ -1,10 +1,10 @@