From ef592197088078be53b73050ba5c1bee2728c090 Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Wed, 1 Jan 2020 09:57:53 +0000 Subject: doc/txt2pre: flush output before utime() Otherwise our utime() change is overridden when the flush happens at exit. --- Documentation/txt2pre | 1 + 1 file changed, 1 insertion(+) (limited to 'Documentation') diff --git a/Documentation/txt2pre b/Documentation/txt2pre index 7cab0fa2..cb6a7613 100755 --- a/Documentation/txt2pre +++ b/Documentation/txt2pre @@ -22,6 +22,7 @@ print '', qq(), "$title", "
",  $str , '
'; +STDOUT->flush; # keep mtime on website consistent so clients can cache if (-f STDIN && -f STDOUT) { -- cgit v1.2.3-24-ge0c7