append index.html to url generated by urlto("")

This special case crops up when generating the parentlink to the toplevel
index page. urlto("") had been generating a link to "./" (or "../" etc)
for that, which is fine, if the web server redirects that to the toplevel
index.html. It's less fine if there is no web server.

I actually ran into the problem first when using gopher. (Yes, yes, don't
laugh.. see upcoming tip.) But it also crops up when browsing local wiki
files.

Of course, the index.html is stripped back off if usedirs is enabled.

1 files changed, 1 insertions, 1 deletions

diff --git a/IkiWiki.pm b/IkiWiki.pm
index a9debfb7d..7d5668d74 100644
--- a/IkiWiki.pm
+++ b/IkiWiki.pm
@@ -547,7 +547,7 @@ sub urlto ($$) { #{{{
 	my $from=shift;
 
 	if (! length $to) {
-		return beautify_url(baseurl($from));
+		return beautify_url(baseurl($from)."index.$config{htmlext}");
 	}
 
 	if (! $destsources{$to}) {