diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-28 16:25:52 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-28 16:25:52 +0100 |
| commit | 8982bb6bb2afce626cd60533cb582ae88259a402 (patch) | |
| tree | 3f60f6a23c9be1e368a64115831404d2c54d2fcf /doc/thanks.texi | |
| parent | 466b8f71a7d6375f55b2806fb949a91d774147c6 (diff) | |
| download | geiser-chez-8982bb6bb2afce626cd60533cb582ae88259a402.tar.gz geiser-chez-8982bb6bb2afce626cd60533cb582ae88259a402.tar.bz2 | |
Leaner autodoc cache
We cannot consistently maintain a local cache, because of
re-evaluations of external symbols will go unnoticed. The new strategy
(remembering only the latest signatures) mostly works, although it
introduces a bit of extra flickering every now and then.
A global cache is perhaps worth considering.
Diffstat (limited to 'doc/thanks.texi')
0 files changed, 0 insertions, 0 deletions