X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=results2html;h=448d1e5e415eeb08d0c933fa15cc0311b5fa03f6;hb=69ed81b2ad13646d885c5f18604ecc5633404ddf;hp=4e3224fca3ba9589f147706469845ed5692612e0;hpb=a6f5a05fa098aeb35cd184682c271244f05907e8;p=pspp diff --git a/results2html b/results2html index 4e3224fca3..448d1e5e41 100755 --- a/results2html +++ b/results2html @@ -227,6 +227,11 @@ print LOG_HTML < EOF +open (HTACCESS, '>', '.htaccess'); +print HTACCESS <', "build.css"); print CSS <