diff options
author | Hans Hagen <pragma@wxs.nl> | 2021-09-17 10:09:54 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2021-09-17 10:09:54 +0200 |
commit | d5e2ac5f857f2a003949fce54ed41eedc4fb9475 (patch) | |
tree | 5407199d3d6ec192cd4f0fa036cf797b0e29fdc4 /doc | |
parent | 51bc89e03d05e3329b2ef74de2720937f92aa81f (diff) | |
download | context-d5e2ac5f857f2a003949fce54ed41eedc4fb9475.tar.gz |
2021-09-17 10:01:00
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 |