diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml index 9a70b10165d..aa4b33608ef 100644 --- a/doc/src/sgml/installation.sgml +++ b/doc/src/sgml/installation.sgml @@ -1,10 +1,14 @@