diff --git a/docs/userguide/en/gui.html b/docs/userguide/en/gui.html index c0ddcfd559..e4391474e5 100644 --- a/docs/userguide/en/gui.html +++ b/docs/userguide/en/gui.html @@ -1,11 +1,11 @@ - + + "../../html-dtd/xhtml1-strict.dtd">