Documentation/txt2pre | 1 + diff --git a/Documentation/txt2pre b/Documentation/txt2pre index 7cab0fa259ead40462c19599a6404ee5b3ed0463..cb6a76138131a8d0abd3593d013860d523b1f1fa 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) {