summaryrefslogtreecommitdiff
path: root/doc/bugs/Weird_interaction_between_toc_plugin_and_page_sections.mdwn
diff options
context:
space:
mode:
authorSimon McVittie <smcv@ http://smcv.pseudorandom.co.uk/>2009-08-27 23:30:41 +0100
committerSimon McVittie <smcv@ http://smcv.pseudorandom.co.uk/>2009-08-28 15:34:35 +0100
commitd92f767fb772c9b11293134bd67bc1261aea8f1e (patch)
tree80231ac01765b5b993eb8695cfeae74a584a977b /doc/bugs/Weird_interaction_between_toc_plugin_and_page_sections.mdwn
parent8b927d4a6565125bc09d18d9e971f804d1e44e0a (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