fix redirects
authorMichael Wallner <mike@php.net>
Thu, 9 Sep 2021 19:31:21 +0000 (21:31 +0200)
committerMichael Wallner <mike@php.net>
Thu, 9 Sep 2021 19:31:21 +0000 (21:31 +0200)
bin/ref2html

index 0ccc331343aa73bb0c23044f632c10a4cdedba3e..101c9e77690e803f30828f0702f58cbfe23caafa 100755 (executable)
@@ -51,8 +51,7 @@ $red = function($from, $dest, $name) use($out, $url) {
        }
        file_put_contents($from . ".html", <<<EOF
 <html>
-       <base href='$url'>
-       <meta http-equiv='refresh' content='0; $name'>
+       <meta http-equiv='refresh' content='0; $url$name'>
 </html>
 EOF
 );