diff options
Diffstat (limited to 'Documentation')
| -rwxr-xr-x | Documentation/txt2pre | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/txt2pre b/Documentation/txt2pre index 7cab0fa2..cb6a7613 100755 --- a/Documentation/txt2pre +++ b/Documentation/txt2pre @@ -22,6 +22,7 @@ print '<html><head>', qq(<meta\nhttp-equiv="Content-Type"\ncontent="text/html; charset=utf-8"\n/>), "<title>$title</title>", "</head><body><pre>", $str , '</pre></body></html>'; +STDOUT->flush; # keep mtime on website consistent so clients can cache if (-f STDIN && -f STDOUT) { |