diff options
author | Simon McVittie <smcv@ http://smcv.pseudorandom.co.uk/> | 2009-08-27 23:30:41 +0100 |
---|---|---|
committer | Simon McVittie <smcv@ http://smcv.pseudorandom.co.uk/> | 2009-08-28 15:34:35 +0100 |
commit | d92f767fb772c9b11293134bd67bc1261aea8f1e (patch) | |
tree | 80231ac01765b5b993eb8695cfeae74a584a977b /doc/bugs/Weird_interaction_between_toc_plugin_and_page_sections.mdwn | |
parent | 8b927d4a6565125bc09d18d9e971f804d1e44e0a (diff) |
inline: if using pagenames, don't add a dependency on "page1 or page2 or..."
This is unnecessary and just slows us down (by a factor of 2, in the
pessimal case where every page has an inline with pagenames); it's also
not possible to optimize it into add_depends_exact calls.
Diffstat (limited to 'doc/bugs/Weird_interaction_between_toc_plugin_and_page_sections.mdwn')
0 files changed, 0 insertions, 0 deletions