Mention mediagoblin/config_spec.ini

diff --git a/mediagoblin.ini b/mediagoblin.ini
index 6325c8e003e39107847d7c412fbba266b5397405..66c9c77c730bd1cbfd7183810e04e5ad33a3836c 100644 (file)
--- a/mediagoblin.ini
+++ b/mediagoblin.ini
@@ -1,3 +1,7 @@
+# Have a look at mediagoblin/config_spec.ini
+# It defines types and defaults so it’s a good place to look for documentation
+# or to find hidden options that we didn’t tell you about. :)
+
 # If you want to make changes to this file, first copy it to
 # mediagoblin_local.ini, then make the changes there.