diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/context/sources/general/manuals/luametatex/luametatex.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/context/sources/general/manuals/luametatex/luametatex.tex b/doc/context/sources/general/manuals/luametatex/luametatex.tex index bb20761bc..f845fed17 100644 --- a/doc/context/sources/general/manuals/luametatex/luametatex.tex +++ b/doc/context/sources/general/manuals/luametatex/luametatex.tex @@ -105,6 +105,13 @@ % means that 43 pages per seconds is now the new normal but that might of course % become less again as we evolve. +% End Feburari 2023 I observed 8.2 seconds for 360 pages and making a format needed +% 1.9 seconds instead if the usual 2.1 but that can be a side effect of the terminal +% because the amount of output which is sensitive for refresh delays set. The new +% target is nwo 50 pages per second for this manual but on this laptop that is +% unlikely to happen any time soon. With tabulateusesize and tabulatesparseskips +% experimends enabled we needed 8.1 second and 44.3 pps. + % \enableexperiments [tabulateusesize] % \enableexperiments [tabulatesparseskips] |