Send users online when they have no local docs, redux

TeX-Live / texdoc

Find and view documentation in TeX Live

https://tug.org/texdoc/

GNU General Public License v3.0

47 stars 7 forks source link

Closed gucci-on-fleek closed 2 years ago

gucci-on-fleek commented 2 years ago

See #79.

Hopefully this is the last change needed, but please let me know if you find any other issues.

wtsnjp commented 2 years ago

Thank you for fixing the issue! Merged.