aboutsummaryrefslogtreecommitdiffstats
path: root/docs/source/siteadmin/theming.rst
diff options
context:
space:
mode:
authorBoris Bobrov <breton@cynicmansion.ru>2017-11-13 02:43:25 +0300
committerBoris Bobrov <breton@cynicmansion.ru>2017-11-13 02:43:25 +0300
commitf5e48d9edf3ee7623e6ad654293977399b9d87cd (patch)
treec5087b038b24593e9156428c60220fc83ca2d614 /docs/source/siteadmin/theming.rst
parent94c10f1c5795ae08ec40cfd7482a5adc12a7d6c0 (diff)
downloadmediagoblin-f5e48d9edf3ee7623e6ad654293977399b9d87cd.tar.lz
mediagoblin-f5e48d9edf3ee7623e6ad654293977399b9d87cd.tar.xz
mediagoblin-f5e48d9edf3ee7623e6ad654293977399b9d87cd.zip
remove mentions of mediagoblin_local.ini
Diffstat (limited to 'docs/source/siteadmin/theming.rst')
-rw-r--r--docs/source/siteadmin/theming.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/siteadmin/theming.rst b/docs/source/siteadmin/theming.rst
index 9c01a5b3..24f23235 100644
--- a/docs/source/siteadmin/theming.rst
+++ b/docs/source/siteadmin/theming.rst
@@ -43,7 +43,7 @@ want to install this theme! Don't worry, it's fairly painless.
3. ``tar -xzvf <tar-archive>``
4. Open your configuration file (probably named
- ``mediagoblin_local.ini``) and set the theme name::
+ ``mediagoblin.ini``) and set the theme name::
[mediagoblin]
# ...