From f5e48d9edf3ee7623e6ad654293977399b9d87cd Mon Sep 17 00:00:00 2001 From: Boris Bobrov Date: Mon, 13 Nov 2017 02:43:25 +0300 Subject: remove mentions of mediagoblin_local.ini --- docs/source/siteadmin/theming.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/source/siteadmin/theming.rst') 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 `` 4. Open your configuration file (probably named - ``mediagoblin_local.ini``) and set the theme name:: + ``mediagoblin.ini``) and set the theme name:: [mediagoblin] # ... -- cgit v1.2.3