First section of configuring mediagoblin

diff --git a/docs/source/configuration.rst b/docs/source/configuration.rst
index 93cc4a17e079f332bf246f1dcf843a836a7b3b63..354a70989d1acf56050fce03ef8e16fa62f2774b 100644 (file)
--- a/docs/source/configuration.rst
+++ b/docs/source/configuration.rst
@@ -19,8 +19,25 @@ mediagoblin.ini
   tweak settings for MediaGoblin, you'll usually tweak them here.
 
 paste.ini
-
-mediagoblin.ini
+  Primarily a server configuration file, on the python side
+  (specifically, on the wsgi side, via `paste deploy
+  <http://pythonpaste.org/deploy/>`_ / `paste script
+  <http://pythonpaste.org/script/>`_).  It also sets up some
+  middleware that you can mostly ignore, except to configure
+  sessions... more on that later.  If you are adding a different
+  python server other than fastcgi / plain http, you might configure
+  it here.  Mostly you won't touch this file as much, probably.
+
+
+There's one more file that you certainly won't change unless you're
+making coding contributions to mediagoblin, but which can be useful to
+read and reference:
+
+mediagoblin/config_spec.ini
+  This file is actually a specification for mediagoblin.ini itself, as
+  a config file!  It defines types and defaults.  Sometimes it's a
+  good place to look for documentation... or to find out that hidden
+  option that we didn't tell you about. :)
 
 
 Making local copies