search

TeX-Live / texdoc

Find and view documentation in TeX Live
https://tug.org/texdoc/
GNU General Public License v3.0
47 stars 8 forks source link

Reduce cache file size #101

Open wtsnjp opened 1 year ago

wtsnjp commented 1 year ago

The current format of the cache file is entirely redundant. We can make them smaller.

wtsnjp commented 2 months ago

Issue #113 is an instance of the redundancy.