From: Joey Hess <joey@kitenet.net>
Date: Fri, 18 Jun 2010 16:57:20 +0000 (-0400)
Subject: fix filename
X-Git-Tag: 3.20100623~39
X-Git-Url: http://git.vanrenterghem.biz/git.ikiwiki.info.git/commitdiff_plain/fca54dc52a49fe50361cf6c4ab2b3c2e0450a2f8

fix filename
---

diff --git a/doc/plugins/discussion.mdwn b/doc/plugins/discussion.mdwn
index 49b76c662..d47fa4718 100644
--- a/doc/plugins/discussion.mdwn
+++ b/doc/plugins/discussion.mdwn
@@ -38,3 +38,5 @@ Any objections to listing plugins alphabetically rather than by creation date?
 ### `themes.pm` instead of `themes.mdwn`
 
 Could someone please change the filename. I cannot fix this using the Web interface. Somebody step in please. --[[PaulePanter]]
+
+> Oops, not the first time I've made that mistake! --[[Joey]] 
diff --git a/doc/plugins/theme.mdwn b/doc/plugins/theme.mdwn
new file mode 100644
index 000000000..7149cc163
--- /dev/null
+++ b/doc/plugins/theme.mdwn
@@ -0,0 +1,11 @@
+[[!template id=plugin name=theme author="[[Joey]]"]]
+[[!tag type/web]]
+
+The theme plugin allows easily applying a theme to your wiki, by
+configuring the `theme` setting in the setup file with the name of a theme
+to use. The themes you can choose from are all subdirectories, typically
+inside `/usr/share/ikiwiki/themes/`.
+
+A theme provides, via the underlay, an enhanced version of the regular
+[[style.css]]. This leaves [[local.css]] free for you to further
+customise. Themes can also provide header and background images.
diff --git a/doc/plugins/theme.pm b/doc/plugins/theme.pm
deleted file mode 100644
index 7149cc163..000000000
--- a/doc/plugins/theme.pm
+++ /dev/null
@@ -1,11 +0,0 @@
-[[!template id=plugin name=theme author="[[Joey]]"]]
-[[!tag type/web]]
-
-The theme plugin allows easily applying a theme to your wiki, by
-configuring the `theme` setting in the setup file with the name of a theme
-to use. The themes you can choose from are all subdirectories, typically
-inside `/usr/share/ikiwiki/themes/`.
-
-A theme provides, via the underlay, an enhanced version of the regular
-[[style.css]]. This leaves [[local.css]] free for you to further
-customise. Themes can also provide header and background images.