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/plugins/contrib | |
| 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/plugins/contrib')
0 files changed, 0 insertions, 0 deletions