web commit by bremner: answer one of my own questions

diff --git a/doc/plugins/contrib/sourcehighlight.mdwn b/doc/plugins/contrib/sourcehighlight.mdwn
index 8f302b7f638e561381a9b4e37559d704d4cfa110..f5628052d85e05fe351c95d5e8b3a28afc7f97ca 100644 (file)
--- a/doc/plugins/contrib/sourcehighlight.mdwn
+++ b/doc/plugins/contrib/sourcehighlight.mdwn
@@ -12,5 +12,5 @@ highlight
 - I would like to have a link to the raw source; I'm not quite sure how to manage this at them moment.  
 
 - the common case of foo.c and foo.h breaks
-because they both generate page working/dir/foo. Is there some way to change the default output name?
-
+because they both generate page working/dir/foo. 
+It looks to me like ikiwiki is hardcoded to strip the extension in `pagename()` (IkiWiki.pm).