diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/context/sources/general/manuals/luametatex/luametatex.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/context/sources/general/manuals/luametatex/luametatex.tex b/doc/context/sources/general/manuals/luametatex/luametatex.tex index 71c6f997f..005bd9418 100644 --- a/doc/context/sources/general/manuals/luametatex/luametatex.tex +++ b/doc/context/sources/general/manuals/luametatex/luametatex.tex @@ -56,13 +56,14 @@ % amd 10 fitlet : 28.2 % 20210812 : 298 pages -% % mingw : 9.7 % 20210903 : 300 pages -% % mingw : 9.6 +% 20210916 : 300 pages +% mingw : 9.4 (9.25 with LTO, 9.75 native) + % But speed can differ a bit per compilation (upto .5 seconds maybe due to how % compiled code is organized which might influence caching. Who knows ... (or % cares). For instance at 20200407 I measured 10.9 seconds after some new low level |