diff --git a/doc/src/sgml/admin.sgml b/doc/src/sgml/admin.sgml index fd2f2840d7f..dbe6c8920e5 100644 --- a/doc/src/sgml/admin.sgml +++ b/doc/src/sgml/admin.sgml @@ -1,11 +1,15 @@ diff --git a/doc/src/sgml/programmer.sgml b/doc/src/sgml/programmer.sgml index 93ea1dbc818..f6c465af284 100644 --- a/doc/src/sgml/programmer.sgml +++ b/doc/src/sgml/programmer.sgml @@ -1,9 +1,13 @@