Comments (3)
wtsnjp
commented on May 18, 2024
All necessary operations (testing and generating the pre-hashed cache file) are implemented to Rakefile (and the equivalent Makefile by @norbusan; see #6), so I think now we can remove the tools dir. If there's no objection, I will do this soon. (Of course, we can revert it using git anytime if necessary)
from texdoc.
norbusan
commented on May 18, 2024
Fine with me
from texdoc.
wtsnjp
commented on May 18, 2024
All done; closing.
from texdoc.
Related Issues (20)
- Extension of fuzzy search targets
- Reduce cache file size
- No "Locale unmatch" penalty when "lang" is missing HOT 1
- It seems the texdoc.cnf installed in texmf-dist/texdoc by default uses lastfile_switch=true thus preventing file in TEXMFHOME to have any effect HOT 7
- geeomtry-de preferred? HOT 5
- pkgname.pdf vs. pkgname-{foo,doc}.pdf HOT 2
- CTAN search link is deprecated HOT 2
- texdoc 4.0.1 prefers geometry-de HOT 2
- texdoc metafun finds mycow.pdf HOT 1
- erroneous option syntax -= gives lua error
- display them all -> allow number HOT 2
- structuredlog -> ltfilehook-doc
- [feature] Can texdoc has a shell completion for bash/zsh/...? HOT 9
- Texdoc 4.0 Release HOT 1
- 4.0: Is opening doc with negative score disabled? HOT 3
- texdoc plain HOT 8
- Prompt for no "good" results HOT 2
- Prompt when there are too many results HOT 2
- New config item to control behavior when there are only negative matches HOT 5
- Fuzzy search should always be attempted HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from texdoc.