Rename config section headings.

Simon Riggs

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index f72ad33a6a4525b9f7bd39ab65c548b0e0a66f4f..a72fbc97e4ce9733394fd7cd97c66ad532e49a3f 100644 (file)
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -1,8 +1,8 @@
 
 
-  <span class="marked">Run-time</span> Configuration
+  <span class="marked">Server</span> Configuration
 
   
    configuration

diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml
index 2aabdb83780aef7a6f62cc7ce6f368eb0c0a6287..ea0edcb6ed608a17d28cc03e0b3b3c8c8426ce70 100644 (file)
--- a/doc/src/sgml/runtime.sgml
+++ b/doc/src/sgml/runtime.sgml
@@ -1,9 +1,9 @@
 
 
 
- <span class="marked">Server Run-time</span> Environment
+ <span class="marked">Operating System</span> Environment
 
  
   This chapter discusses how to set up and run the database server