fix filename

diff --git a/doc/plugins/discussion.mdwn b/doc/plugins/discussion.mdwn
index 49b76c66249959fab2a59dadaf5d52d295e21fce..d47fa471897f906bf9c1133b0602d7d2867c5c7b 100644 (file)
--- 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 (file)
index 0000000..7149cc1
--- /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 (file)
index 7149cc1..0000000
--- 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.